Login / Signup
Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem.
Neil Thapen
Published in:
Arch. Math. Log. (2011)
Keyphrases
</>
search problems
search algorithm
orders of magnitude
heuristic search
state space search
efficient search
search space
search strategies
solving hard
iterative deepening
computational complexity
constraint satisfaction problems
heuristic search algorithms
parallel processors
decision problems
search tree