Quasipolynomial Size Frege Proofs of Frankl's Theorem on the Trace of Sets.

James Aisenberg Maria Luisa Bonet Sam Buss

Published in: J. Symb. Log. (2016)

Keyphrases

small size
interactive theorem proving
neural network
cut elimination
scales linearly
memory requirements
information systems
sufficient conditions
real time
theorem proving
theorem prover
set theoretic
fixed size
convex sets
rough sets
genetic algorithm
databases