HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.