Interrogating witnesses for geometric constraint solving.

Sebti Foufou Dominique Michelucci

Published in: Inf. Comput. (2012)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint solver
constraint satisfaction problems
constraint satisfaction
geometric constraints
constraint programming
upper bound
programming language
linear programming
orders of magnitude
search tree
geometric structure
finite domain