Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- massively parallel
- max sat
- phase transition
- sat solving
- boolean satisfiability
- instruction set
- propositional satisfiability
- distributed computing
- knowledge base
- stochastic local search algorithms
- dedicated hardware
- stochastic local search
- sat instances
- search strategies
- orders of magnitude
- search algorithm
- database
- model checking
- distributed systems
- simulated annealing
- variable ordering
- lower bound
- satisfiability testing
- pseudo boolean constraints