Login / Signup

Relativized NP Search Problems and Propositional Proof Systems.

Josh Buresh-OppenheimTsuyoshi Morioka
Published in: Computational Complexity Conference (2004)
Keyphrases
  • search problems
  • orders of magnitude
  • search algorithm
  • np hard
  • first order logic
  • heuristic search
  • search strategies