The NP Search Problems of Frege and Extended Frege Proofs.

Arnold Beckmann Sam Buss

Published in: ACM Trans. Comput. Log. (2017)

Keyphrases

search problems
search algorithm
orders of magnitude
heuristic search
search strategies
state space search
solving hard
search space
heuristic search algorithms
iterative deepening
efficient search
parallel processors
computational complexity
planning problems
np complete
theorem prover
information retrieval