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:
Comb. (2002)
Keyphrases
</>
natural deduction
automated theorem proving
sequent calculus
proof search
cut elimination
theorem prover
theorem proving
inference rules
equational theories
algebraic structure
machine learning
max sat
proof procedure
mathematical proofs