A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints.
Alessandro ArmandoClaudio CastelliniEnrico GiunchigliaMarco MarateaPublished in: SAT (Selected Papers (2004)
Keyphrases
- constraint solver
- constraint satisfaction
- decision problems
- constraint programming
- decision variables
- decision makers
- mixed integer program
- linear constraints
- decision making
- real valued
- answer set programming
- global constraints
- sat encodings
- constraint logic programming
- constraint solving
- combinatorial problems
- constrained optimization
- boolean functions
- decision rules