Complexity of Propositional Proofs Under a Promise.

Nachum Dershowitz Iddo Tzameret

Published in: ICALP (2007)

Keyphrases

polynomial hierarchy
computational complexity
theorem proving
first order logic
propositional logic
space complexity
search engine
worst case
data sets
neural network
machine learning
decision trees
decision problems
complexity analysis
probabilistic logic