Path Verification Using Boolean Satisfiability.
Matthias RingeThomas LindenkreuzErich BarkePublished in: DATE (1998)
Keyphrases
- boolean satisfiability
- sat solvers
- boolean optimization
- sat solving
- probabilistic planning
- randomly generated
- integer linear programming
- sat problem
- branch and bound algorithm
- symmetry breaking
- maximum satisfiability
- max sat
- combinatorial problems
- phase transition
- model checking
- optimal solution
- random sat instances
- np complete