Conflict-based pruning of a solution space within a constructive geometric constraint solver.
Enrique YeguasManuel J. Marín-JiménezRafael Muñoz-SalinasRafael Medina CarnicerPublished in: Appl. Intell. (2014)
Keyphrases
- solution space
- constraint solver
- search space
- constraint satisfaction problems
- constraint propagation
- constraint solving
- sat solvers
- exhaustive search
- constraint programming
- metaheuristic
- constraint satisfaction
- optimal solution
- simulated annealing
- linear constraints
- combinatorial search
- heuristic search
- real numbers
- arc consistency algorithm
- constraint logic programming
- search strategy
- state space
- search algorithm
- feasible solution
- branch and bound
- neural network
- combinatorial problems
- mathematical model
- linear programming
- lower bound
- constraint solvers