Interrogating witnesses for geometric constraint solving

DOI10.1016/j.ic.2011.09.006zbMath1247.68309MaRDI QIDQ714618

Sebti Foufou, Dominique Michelucci

Publication date: 11 October 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2011.09.006

zbMATH Keywords

geometric constraints; constraint solving; constraint decomposition; dependent and independent constraints; infinitesimal motions; witness configuration

Mathematics Subject Classification ID

68U07: Computer science aspects of computer-aided design

68U05: Computer graphics; computational geometry (digital and algorithmic aspects)

Related Items

Constructing a Tetrahedron with Prescribed Heights and Widths, A robust and efficient method for solving point distance problems by homotopy, Towards a better integration of modelers and black box constraint solvers within the product design process, Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry

Cites Work

• Geometric constraint solving: the witness configuration method
• Geometric constraint solver
• Realization spaces of polytopes
• CONSTRAINTS ON SIMPLE GEOMETRY IN TWO AND THREE DIMENSIONS
• DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
• Fast Probabilistic Algorithms for Verification of Polynomial Identities
• Conditions for Unique Graph Realizations
• Decomposition plans for geometric constraint systems. I: Performance measures for CAD
• Decomposition plans for geometric constraint problems. II: New algorithms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item