SyNRAC: A Maple-Package for Solving Real Algebraic Constraints.
Hirokazu AnaiHitoshi YanamiPublished in: International Conference on Computational Science (2003)
Keyphrases
- linear programming problems
- solving problems
- reducing the search space
- software package
- data sets
- constrained problems
- constraint problems
- constraint solving
- constrained optimization
- real life
- database
- resource constraints
- nonlinear programming
- constraint propagation
- search algorithm
- equality constraints
- case study
- sat encodings
- dynamic constraint satisfaction problems