Keyphrases
- sat solvers
- programming language
- satisfiability problem
- sat problem
- search algorithm
- general purpose
- propositional satisfiability
- boolean satisfiability
- phase transition
- distributed memory machines
- sat solving
- search strategies
- genetic algorithm
- stochastic local search
- stochastic local search algorithms
- operating system
- object oriented
- computational complexity
- satisfiability testing
- pseudo boolean constraints