Interrogating witnesses for geometric constraint solving.

Dominique Michelucci Sebti Foufou

Published in: Symposium on Solid and Physical Modeling (2009)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
constraint solvers
geometric information
finite domain
geometric structure
knowledge base
heuristic search