SyNRAC: a maple toolbox for solving real algebraic constraints.
Hitoshi YanamiHirokazu AnaiPublished in: ACM Commun. Comput. Algebra (2007)
Keyphrases
- linear programming problems
- constrained problems
- real life
- constrained optimization
- finite domain
- solving problems
- constraint programming
- combinatorial optimization
- constraint satisfaction
- real world
- database
- resource constraints
- higher order
- quadratic programming
- linear constraints
- lagrange multipliers
- nonlinear programming
- search algorithm
- case study