Generalizing consistency and other constraint properties to quantified constraints.
Lucas BordeauxMarco CadoliToni ManciniPublished in: ACM Trans. Comput. Log. (2009)
Keyphrases
- global constraints
- convex constraints
- global consistency
- constraint networks
- constraint sets
- linear constraints
- cardinality constraints
- consistency constraints
- constraint problems
- generalized arc consistency
- path consistency
- anti monotone
- constraint solving
- constraint language
- binary constraints
- physical constraints
- consistency checking
- constraint satisfaction
- constraint solver
- inequality constraints
- soft constraints
- resource constraints
- user defined constraints
- constraint satisfaction problems
- disjunctive constraints
- semantic properties
- equality constraints
- spatial constraints
- desirable properties
- constrained problems
- capacity constraints
- constraint graph
- penalty function
- constrained optimization
- constraint violations
- constraint propagation
- constrained minimization
- constraint solvers
- constraint programming
- data sets