HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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