Inference Methods for a Pseudo-Boolean Satisfiability Solver.
Heidi E. DixonMatthew L. GinsbergPublished in: AAAI/IAAI (2002)
Keyphrases
- boolean satisfiability
- sat solving
- boolean formula
- sat solvers
- clause learning
- boolean optimization
- probabilistic planning
- randomly generated
- sat problem
- symmetry breaking
- branch and bound algorithm
- integer linear programming
- maximum satisfiability
- combinatorial problems
- practical problems
- np complete
- phase transition
- satisfiability problem
- search algorithm
- temporal logic
- search space
- orders of magnitude
- constraint satisfaction
- linear constraints
- traveling salesman problem
- domain specific
- optimal solution
- search tree