Correctness proof of a geometric constraint solver.
Ioannis FudosChristoph M. HoffmannPublished in: Int. J. Comput. Geom. Appl. (1996)
Keyphrases
- constraint solver
- constraint solving
- geometry theorem proving
- constraint propagation
- linear constraints
- constraint satisfaction problems
- constraint programming
- constraint satisfaction
- real numbers
- provably correct
- arc consistency algorithm
- constraint solvers
- constraint logic programming
- sat solvers
- theorem proving
- orders of magnitude
- search space
- combinatorial problems
- genetic algorithm
- programming language
- control system
- high dimensional
- expert systems
- optimal solution