Exploració per tema "Extended Frege proofs"
Ara es mostren els items 1-1 de 1
-
Quasipolynomial size frege proofs of Frankl's Theorem on the trace of sets
(2016-06-01)
Article
Accés obertWe extend results of Bonet, Buss and Pitassi on Bondy's Theorem and of Nozaki, Arai and Arai on Bollobas' Theorem by proving that Frankl's Theorem on the trace of sets has quasipolynomial size Frege proofs. For constant ...