Login / Signup
The Fifth Annual Symposium on Combinatorial Search.
Daniel Borrajo
Ariel Felner
Richard E. Korf
Maxim Likhachev
Carlos Linares López
Wheeler Ruml
Nathan R. Sturtevant
Published in:
AI Commun. (2014)
Keyphrases
</>
combinatorial search
search space
artificial intelligence
search algorithm
theorem proving
combinatorial problems
search problems
search strategy
combinatorial optimization
constraint satisfaction problems
subgraph isomorphism
pattern recognition
constraint programming
search procedures