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

Caroline Essert-Villard Pascal Schreck Jean-François Dufourd

Published in: Artif. Intell. (2000)

Keyphrases

solution space
constraint solver
search space
constraint satisfaction problems
constraint propagation
constraint solving
sat solvers
exhaustive search

metaheuristic
linear constraints
constraint satisfaction
simulated annealing
constraint programming
optimal solution
combinatorial search
heuristic search

feasible solution
arc consistency algorithm
branch and bound
real numbers
search algorithm
search strategy
constraint logic programming

objective function
linear programming
special case
path consistency
lower bound
constraint solvers
genetic algorithm