Interrogating witnesses for geometric constraint solving
From MaRDI portal
Publication:714618
DOI10.1016/j.ic.2011.09.006zbMath1247.68309OpenAlexW2035491704MaRDI 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
geometric constraintsconstraint solvingconstraint decompositiondependent and independent constraintsinfinitesimal motionswitness configuration
Computer science aspects of computer-aided design (68U07) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)
Related Items (4)
Towards a better integration of modelers and black box constraint solvers within the product design process ⋮ A robust and efficient method for solving point distance problems by homotopy ⋮ Constructing a Tetrahedron with Prescribed Heights and Widths ⋮ Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: Interrogating witnesses for geometric constraint solving