SyNRAC: A Toolbox for Solving Real Algebraic Constraints.

Hidenao Iwane Hitoshi Yanami Hirokazu Anai

Published in: ICMS (2014)

Keyphrases

linear programming problems
constrained problems
real world
real life
open source
integer program
constraint solving
reducing the search space
genetic algorithm
optimization problems
constraint satisfaction
solving problems
backtracking algorithm
interval arithmetic
solving constraint satisfaction problems