Complexity of Propositional Proofs under a Promise

Nachum Dershowitz Iddo Tzameret

Published in: CoRR (2007)

Keyphrases

theorem proving
propositional logic
data sets
first order logic
polynomial hierarchy
image sequences
worst case
memory requirements
theorem prover