Login / Signup
Read-Once Branching Programs, Rectangular Proofs of the Pigeonhole Principle and the Transversal Calculus.
Alexander A. Razborov
Avi Wigderson
Andrew Chi-Chih Yao
Published in:
STOC (1997)
Keyphrases
</>
natural deduction
automated theorem proving
sequent calculus
cut elimination
computer algebra
inference rules
theorem prover
theorem proving
packing problem
decision procedures
proof search
formal proof
genetic algorithm