Login / Signup
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints.
Alessandro Armando
Claudio Castellini
Enrico Giunchiglia
Marco Maratea
Published in:
SAT (2004)
Keyphrases
</>
constraint solver
decision making
constraint programming
constrained optimization
mixed integer program
decision makers
decision rules
real valued
answer set programming
boolean functions
sat solvers
classification decisions
constraint satisfaction
geometric constraints
ai planning
constraint logic programming