A Hybrid Constraint Solver Using Exact and Iterative Geometric Constructions.

Ching-yao Hsu Beat D. Brüderlin

Published in: CAD Systems Development (1995)

Keyphrases

constraint solver
constraint solving
linear constraints
constraint programming
constraint propagation
constraint satisfaction
real numbers
constraint satisfaction problems
constraint logic programming
arc consistency algorithm
sat solvers
logic programming
path consistency
control system