Search Results for author:
Found 1 papers, 0 papers with code
Lifted Symmetry Detection and Breaking for MAP Inference
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
