Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination.
Noriko HyodoMyunghoon HongHitoshi YanamiShinji HaraHirokazu AnaiPublished in: Appl. Algebra Eng. Commun. Comput. (2007)
Keyphrases
- quantifier elimination
- cardinality constraints
- quantifier free
- constraint propagation
- presburger arithmetic
- constraint query languages
- constraint programming
- constraint databases
- databases
- linear constraints
- constraint satisfaction
- global constraints
- functional programming
- integer program
- constraint satisfaction problems
- search algorithm
- knowledge base