Atserias, Albert; Müller, Moritz; Oliva, Sergi Lower bounds for DNF-refutations of a relativized weak pigeonhole principle. (English) Zbl 1386.03070 J. Symb. Log. 80, No. 2, 450-476 (2015). MSC: 03F20 68Q17 PDFBibTeX XMLCite \textit{A. Atserias} et al., J. Symb. Log. 80, No. 2, 450--476 (2015; Zbl 1386.03070) Full Text: DOI Link
Buss, Samuel R.; Kołodziejczyk, Leszek Aleksander; Thapen, Neil Fragments of approximate counting. (English) Zbl 1338.03107 J. Symb. Log. 79, No. 2, 496-525 (2014). MSC: 03F30 03D15 PDFBibTeX XMLCite \textit{S. R. Buss} et al., J. Symb. Log. 79, No. 2, 496--525 (2014; Zbl 1338.03107) Full Text: DOI Link