Boolean Satisfiability with Transitivity Constraints
Randal E. BryantMiroslav N. VelevPublished in: CoRR (2000)
Keyphrases
- boolean satisfiability
- symmetry breaking
- sat solvers
- combinatorial problems
- boolean optimization
- probabilistic planning
- maximum satisfiability
- sat solving
- integer linear programming
- randomly generated
- sat problem
- branch and bound algorithm
- traveling salesman problem
- constraint programming
- constraint satisfaction
- genetic algorithm
- global constraints
- phase transition
- orders of magnitude
- upper bound
- search algorithm