Search Results for author:
Found 1 papers, 0 papers with code
The Complexity of Symmetry Breaking Beyond Lex-Leader
Symmetry breaking is a widely popular approach to enhance solvers in constraint programming, such as those for SAT or MIP.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
