Dealing with redundancy and inconsistency in constructive geometric constraint solving.

David Podgorelec Borut Zalik Vid Domiter

Published in: Adv. Eng. Softw. (2008)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
integrity checking
constraint solver
constraint programming
geometric information
knowledge base
search algorithm
database applications
geometric constraints
constraint solvers