On the Lengths of Proofs in the Propositional Calculus (Preliminary Version)

Stephen A. Cook Robert A. Reckhow

Published in: STOC (1974)

Keyphrases

preliminary version
propositional calculus
theorem proving
formal proof
theorem prover
formal proofs
mathematical proofs
computer programs
natural deduction
equational theories
genetic algorithm
decision making
learning environment
evolutionary algorithm