Relativized NP Search Problems and Propositional Proof Systems

Josh Buresh-Oppenheim Tsuyoshi Morioka

Published in: Electron. Colloquium Comput. Complex. (2003)

Keyphrases

search problems
orders of magnitude
search algorithm
heuristic search
constraint satisfaction problems
propositional logic
efficient search
information retrieval
knowledge base
document collections
combinatorial optimization
search strategies
theorem prover