Research Challenges in Combinatorial Search.

Richard E. Korf

Published in: AAAI (2012)

Keyphrases

combinatorial search
search space
theorem proving
combinatorial problems
combinatorial optimization
search problems
search algorithm
structured data
data structure
evolutionary algorithm
constraint programming
phase transition