The Symposium on Combinatorial Search.

Daniel Borrajo Maxim Likhachev Carlos Linares López

Published in: AI Commun. (2012)

Keyphrases

combinatorial search
artificial intelligence
search space
theorem proving
combinatorial problems
combinatorial optimization
search algorithm
subgraph isomorphism
search strategy
search problems
orders of magnitude
metaheuristic