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

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

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

Publication date: 12 December 2000

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

zbMATH Keywords

computer-aided design; formal geometric constructions; symbolic constraint solving; tree pruning

Mathematics Subject Classification ID

68U07: Computer science aspects of computer-aided design

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

Related Items

AN EFFICIENT METHOD TO DETERMINE THE INTENDED SOLUTION FOR A SYSTEM OF GEOMETRIC CONSTRAINTS, Searching the solution space in constructive geometric constraint solving with genetic algorithms, DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY, GPDOF — A FAST ALGORITHM TO DECOMPOSE UNDER-CONSTRAINED GEOMETRIC CONSTRAINT SYSTEMS: APPLICATION TO 3D MODELING

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