Keyword:Boolean satisfiability

Papers
Linear Refutation and Clause Splitting Michael Rawson EasyChair Preprint no. 9423
Combining CDCL, Gauss-Jordan Elimination, and Proof Generation Mate Soos and Randal Bryant EasyChair Preprint no. 8497
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