Login / Signup
Propositional Proofs and Their Complexity
Martin Mundhenk
Published in:
Universität Trier, Mathematik/Informatik, Forschungsbericht (1999)
Keyphrases
</>
polynomial hierarchy
worst case
data mining
computational complexity
theorem prover
space complexity
strips planning