Pages that link to "Item:Q1589579"
From MaRDI portal
The following pages link to Sketch-based pruning of a solution space within a formal geometric constraint solver (Q1589579):
Displaying 6 items.
- Searching the solution space in constructive geometric constraint solving with genetic algorithms (Q2574087) (← links)
- Towards a better integration of modelers and black box constraint solvers within the product design process (Q2631961) (← links)
- DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY (Q3422212) (← links)
- GPDOF — A FAST ALGORITHM TO DECOMPOSE UNDER-CONSTRAINED GEOMETRIC CONSTRAINT SYSTEMS: APPLICATION TO 3D MODELING (Q3422218) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- AN EFFICIENT METHOD TO DETERMINE THE INTENDED SOLUTION FOR A SYSTEM OF GEOMETRIC CONSTRAINTS (Q5696541) (← links)
