PySAT: A Python Toolkit for Prototyping with SAT Oracles.
Alexey IgnatievAntónio MorgadoJoão Marques-SilvaPublished in: SAT (2018)
Keyphrases
- scripting language
- open source
- satisfiability problem
- sat solvers
- sat problem
- rapid prototyping
- programming language
- sat solving
- propositional satisfiability
- search algorithm
- development process
- stochastic local search
- boolean satisfiability
- stochastic local search algorithms
- development tools
- test cases
- phase transition
- active learning
- sat instances
- pseudo boolean constraints
- open source software
- design process
- object oriented
- object oriented programming
- graphical user interface
- search strategies
- variable ordering
- case study
- search problems
- search strategy
- orders of magnitude
- graphical user interfaces
- np complete
- upper bound
- backtracking search