Keyphrases
- boolean satisfiability
- sat solvers
- sat problem
- unit propagation
- propositional formulas
- boolean formula
- cnf formula
- clause learning
- sat solving
- automatically generate
- satisfiability problem
- random sat instances
- probabilistic planning
- max sat
- conjunctive normal form
- sat instances
- random sat
- randomly generated
- propositional satisfiability
- branch and bound algorithm
- integer linear programming
- first order logic
- truth assignment
- search space
- symmetry breaking
- unsatisfiable cores
- max sat solver
- randomly chosen
- search algorithm
- combinatorial problems
- maximum satisfiability
- propositional logic
- sat encodings
- phase transition
- stochastic local search algorithms
- np complete
- search tree
- constraint satisfaction
- background knowledge
- consequence finding
- search problems