Generalizing Consistency and other Constraint Properties to Quantified Constraints
Lucas BordeauxMarco CadoliToni ManciniPublished in: CoRR (2007)
Keyphrases
- global constraints
- convex constraints
- global consistency
- constraint networks
- constraint sets
- cardinality constraints
- consistency constraints
- constraint problems
- path consistency
- linear constraints
- anti monotone
- binary constraints
- constraint programming
- constraint solving
- soft constraints
- constraint language
- constrained minimization
- resource constraints
- generalized arc consistency
- temporal reasoning
- constraint satisfaction
- constraint solvers
- user defined constraints
- disjunctive constraints
- finite domain
- consistency checking
- decision variables
- constrained optimization
- constraint satisfaction problems
- inequality constraints
- constrained problems
- constraint solver
- equality constraints
- smoothness constraint
- database systems