Exploració per tema "Bounded-depth frege"
Ara es mostren els items 1-1 de 1
-
Lower bounds for DNF-refutations of a relativized weak pigeonhole principle
(2015-06-01)
Article
Accés obertThe relativized weak pigeonhole principle states that if at least 2n out of n(2) pigeons fly into n holes, then some hole must be doubly occupied. We prove that every DNF-refutation of the CNF encoding of this principle ...