Logic of constraints: a quantitative performance and functional constraint formalism.
Xi ChenHarry HsiehFelice BalarinYosinori WatanabePublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2004)
Keyphrases
- constraint language
- global constraints
- linear constraints
- constraint sets
- constraint networks
- constraint solving
- constraint solver
- computational properties
- constraint programming
- formal theory
- physical constraints
- cardinality constraints
- user defined constraints
- constrained optimization
- penalty function
- consistency constraints
- formal language
- knowledge representation
- spatial constraints
- logical framework
- constrained minimization
- constraint satisfaction
- inequality constraints
- hard and soft constraints
- linear arithmetic constraints
- global consistency
- pairwise constraints
- resource constraints
- formal model
- integrity constraints
- capacity constraints
- hard constraints
- finite domain
- qualitative and quantitative
- constraint violations
- binary constraints
- modal logic
- constraint satisfaction problems
- logic programming