Keyword:symmetry breaking

Publications
Coloring Queens with Thousands of Encodings Bernardo Subercaseaux, Benjamin Przybocki and Marijn Heule In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Symmetry breaking in a new stable model search method Tarek Khaled and Belaid Benhamou In:LPAR-22 Workshop and Short Paper Proceedings
Beyond DRAT: Challenges in Certifying UNSAT Bertram Felgenhauer In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements