Abstract
In geometric modeling, a model is built by specifying relations between geometric entities, which are to be maintained by the modeling system. Many relations can be specified declaratively as geometric constraints on these entities. Constraint satisfaction techniques are used for validation of the geometric model. This article presents an overview of general constraint satisfaction techniques, both for finite domain and infinite domain constraint satisfaction problems. Specific satisfaction techniques for geometric constraints get special attention. Furthermore, the article presents concepts from constraint programming, concerning the integration of constraint specification and programming languages.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
