MathDB1 problem
- 0 votes0 replies0 views
The solution-space shattering conjecture for XOR constraints and local-search weakness
Solution-space shattering conjecture. The solution-space shattering brought by XORs might be the reason for the weakness of local-search solvers in handling XORs.