Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints.
Stefan RatschanPublished in: CP (2002)
Keyphrases
- linear constraints
- constraint sets
- constraint language
- global constraints
- constraint solver
- cardinality constraints
- constraint networks
- constraint solving
- consistency constraints
- resource constraints
- constrained minimization
- constraint programming
- constrained problems
- constraint problems
- constraint violations
- spatial constraints
- first order logic
- physical constraints
- hard and soft constraints
- soft constraints
- constraint satisfaction
- user defined constraints
- capacity constraints
- function symbols
- penalty function
- continuous variables
- constraint propagation