Autotuning a Random Walk Boolean Satisfiability Solver.
Tao CuiFranz FranchettiPublished in: ICCS (2011)
Keyphrases
- random walk
- boolean satisfiability
- sat solving
- boolean formula
- sat solvers
- clause learning
- branch and bound algorithm
- symmetry breaking
- probabilistic planning
- integer linear programming
- sat problem
- randomly generated
- markov chain
- np complete
- combinatorial problems
- practical problems
- transition probabilities
- phase transition
- max sat
- propositional satisfiability
- membership queries
- constraint satisfaction
- learning algorithm
- multi agent