Sketch-based pruning of a solution space within a formal geometric constraint solver

DOI10.1016/S0004-3702(00)00061-8zbMath0952.68152MaRDI QIDQ1589579

C. Essert-Villard, Pascal Schreck, Jean-François Dufourd

Publication date: 12 December 2000

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

computer-aided designformal geometric constructionssymbolic constraint solvingtree pruning

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Related Items (6)

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Towards a better integration of modelers and black box constraint solvers within the product design process ⋮ AN EFFICIENT METHOD TO DETERMINE THE INTENDED SOLUTION FOR A SYSTEM OF GEOMETRIC CONSTRAINTS ⋮ DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY ⋮ GPDOF — A FAST ALGORITHM TO DECOMPOSE UNDER-CONSTRAINED GEOMETRIC CONSTRAINT SYSTEMS: APPLICATION TO 3D MODELING ⋮ Searching the solution space in constructive geometric constraint solving with genetic algorithms

Uses Software

• Cabri

Cites Work

• Unnamed Item
• Unnamed Item
• Modular algebraic specification of some basic geometrical constructions
• Geometric construction by assembling solved subfigures
• Boosting complete techniques thanks to local search methods
• Geometric constraint satisfaction using optimization methods.
• Higher order rule characterization of heuristics of compass and straight edge constructions in geometry
• Geometric constraint solver

This page was built for publication: Sketch-based pruning of a solution space within a formal geometric constraint solver