Keyword:SAT encoding

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
Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited Neng-Fa Zhou and Håkan Kjellerstrand EasyChair Preprint 154