Boolean satisfiability with transitivity constraints.
Randal E. BryantMiroslav N. VelevPublished in: ACM Trans. Comput. Log. (2002)
Keyphrases
- boolean satisfiability
- symmetry breaking
- combinatorial problems
- randomly generated
- constraint programming
- boolean optimization
- integer linear programming
- maximum satisfiability
- constraint satisfaction
- probabilistic planning
- global constraints
- sat solving
- sat instances
- sat solvers
- branch and bound algorithm
- sat problem
- reinforcement learning
- combinatorial optimization
- orders of magnitude
- dynamic programming
- np hard