Sketch-based pruning of a solution space within a formal geometric constraint solver.
Caroline Essert-VillardPascal SchreckJean-François DufourdPublished 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