Login / Signup
Algebras for Combinatorial Search.
J. Michael Spivey
Published in:
MSFP@MPC (2006)
Keyphrases
</>
combinatorial search
search space
theorem proving
search algorithm
combinatorial problems
combinatorial optimization
search problems
subgraph isomorphism
search strategy
temporal reasoning
genetic algorithm
phase transition