Complexity of propositional proofs under a promise.

Nachum Dershowitz Iddo Tzameret

Published in: ACM Trans. Comput. Log. (2010)

Keyphrases

worst case
computational complexity
propositional logic
neural network
real world
theorem proving
databases
decision trees
case study
propositional formulas
formal proof
strips planning
equational theories