Branch-and-Prune Search Strategies for Numerical Constraint Solving
Xuan-Ha VuMarius-Calin SilaghiDjamila Sam-HaroudBoi FaltingsPublished in: CoRR (2005)
Keyphrases
- search strategies
- constraint solving
- constraint programming
- constraint satisfaction
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- search strategy
- search space
- constraint solver
- heuristic search
- combinatorial problems
- search algorithm
- branch and bound
- search methods
- retrieval effectiveness
- tree search
- evolutionary algorithm
- qualitative and quantitative
- sat solvers
- np complete