Algebras for combinatorial search.

J. Michael Spivey

Published in: J. Funct. Program. (2009)

Keyphrases

combinatorial search
search space
theorem proving
search algorithm
combinatorial problems
combinatorial optimization
search problems
search strategy
constraint solver
temporal reasoning
metaheuristic
temporal information
subgraph isomorphism
parallel tree search