TY  - RPRT
TI  - Search-space Reduction for Boolean MinCSPs via Essential Constraints
AU  - Bart M. P. Jansen
AU  - Ruben F. A. Verhaegh
PY  - 2026
UR  - https://arxiv.org/abs/2606.00770
ID  - 2606.00770
ER  -