LGS: Geometric Constraint Solver.

Alexey Ershov Ilia Ivanov Serge Preis Eugene Rukoleev Dmitry Ushakov

Published in: Ershov Memorial Conference (2003)

Keyphrases

constraint solver
constraint solving
constraint programming
constraint propagation
linear constraints
constraint satisfaction problems
real numbers
arc consistency algorithm
constraint satisfaction
constraint logic programming
constraint solvers
sat solvers