Abstract
Boolean satisfiability (SAT) solvers are at the core of efficient approaches for solving a vast multitude of practical problems. Moreover, albeit targeting an NP-complete problem, SAT solvers are increasingly used for tackling problems beyond NP. Despite the success of SAT in practice, modeling with SAT and more importantly implementing SAT-based problem solving solutions is often a difficult and error-prone task. This paper proposes the PySAT toolkit, which enables fast Python-based prototyping using SAT oracles and SAT-related technology. PySAT provides a simple API for working with a few state-of-the-art SAT oracles and also integrates a number of cardinality constraint encodings, all aiming at simplifying the prototyping process. Experimental results presented in the paper show that PySAT-based implementations can be as efficient as those written in a low-level language.
Original language | English |
---|---|
Title of host publication | Theory and Applications of Satisfiability Testing – SAT 2018 |
Subtitle of host publication | 21st International Conference, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 9–12, 2018 Proceedings |
Editors | Olaf Beyersdorff, Christoph M. Wintersteiger |
Place of Publication | Cham Switzerland |
Publisher | Springer |
Pages | 428-437 |
Number of pages | 10 |
ISBN (Electronic) | 9783319941448 |
ISBN (Print) | 9783319941431 |
DOIs | |
Publication status | Published - 2018 |
Externally published | Yes |
Event | International Conference on Theory and Applications of Satisfiability Testing 2018 - Oxford, United Kingdom Duration: 9 Jul 2018 → 12 Jul 2018 Conference number: 21st http://sat2018.azurewebsites.net/ |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 10929 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | International Conference on Theory and Applications of Satisfiability Testing 2018 |
---|---|
Abbreviated title | SAT 2018 |
Country | United Kingdom |
City | Oxford |
Period | 9/07/18 → 12/07/18 |
Internet address |