no code implementations • NeurIPS 2015 • Timothy Kopp, Parag Singla, Henry Kautz
Symmetry breaking is a technique for speeding up propositional satisfiability testing by adding constraints to the theory that restrict the search space while preserving satisfiability.