SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints.

Hitoshi Yanami Hirokazu Anai

Published in: Algorithmic Algebra and Logic (2005)

Keyphrases

constrained problems
linear programming problems
real life
real world
constraint satisfaction
constraint programming
mixed integer
reducing the search space
case study
open source
combinatorial optimization
software package
constraint solving