Login / Signup
Towards NP-P via proof complexity and search.
Samuel R. Buss
Published in:
Ann. Pure Appl. Log. (2012)
Keyphrases
</>
search algorithm
computational complexity
search space
computational cost
search efficiency
search strategy
social networks
np complete
search strategies
proof search
search procedure
theorem prover
information seeking
solution space
memory requirements
search methods
worst case