A constraint programming approach for solving rigid geometric systems

DOI10.1007/3-540-45349-0_18MaRDI QIDQ4473029zbMATH OpenFDO

Authors Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1894/18940233.htm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Geometric constraint solving with geometric transformation
• A hybrid method for solving geometric constraint problems
• scientific article; zbMATH DE number 5130862
• A degree-of-freedom graph approach
• A 2-D geometric constraint solver using DOF-based graph reduction.

Cited in

(19)

• A 2-D geometric constraint solver using DOF-based graph reduction.
• A rigorous global filtering algorithm for quadratic constraints
• Improving inter-block backtracking with interval Newton
• The reachability problem in constructive geometric constraint solving based dynamic geometry
• Revisiting variable radius circles in constructive geometric constraint solving
• Modified geometric transformation methods for geometric constraint solving
• scientific article; zbMATH DE number 5130862 (Why is no real title available?)
• Geometric constraint solving and applications. 1st international workshop, TU Ilmenau, Germany, 1998
• Body-and-cad geometric constraint systems
• A hybrid method for solving geometric constraint problems
• Solving Dynamic Geometric Constraints Involving Inequalities
• Automated Deduction in Geometry
• Geometric constraint solving with conics and linkages
• Using invariance under the similarity group to solve geometric constraint systems
• Solving geometrical constraint systems using CLP based on linear constraint solver
• Interrogating witnesses for geometric constraint solving
• Geometric constraint solving with geometric transformation
• Solving interval constraints by linearization in computer-aided design
• A formalization of geometric constraint systems and their decomposition

This page was built for publication: A constraint programming approach for solving rigid geometric systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473029)