Heuristic Search Strategies for Cylindrical Algebraic Decomposion.
Hoon HongPublished in: AISMC (1992)
Keyphrases
- search strategies
- search strategy
- search algorithm
- retrieval effectiveness
- constraint programming
- heuristic search
- search methods
- search problems
- sat solvers
- search procedures
- evolutionary algorithm
- selection strategies
- data structure
- search heuristics
- branch and bound
- constraint satisfaction
- distance measure
- simulated annealing
- dynamic programming
- np hard
- cost function
- feature vectors
- information retrieval