Keyword:Boolean satisfiability

Papers
CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem Aolong Zha, Rongxuan Gao, Qiong Chang, Miyuki Koshimura and Itsuki Noda EasyChair Preprint no. 3290
Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation Jarkko Savela, Emilia Oikarinen and Matti Järvisalo In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Stedman and Erin Triples encoded as a SAT Problem Andrew Johnson EasyChair Preprint no. 673