"RIV/67985840:_____/12:00377483" . . "NL - Nizozemsko" . "We prove an exponential lowerbound on the lengths of resolutionproofs of propositions expressing the finite Ramseytheorem for pairs." . . . "A lower bound on the size of resolution proofs of the Ramsey theorem" . "We prove an exponential lowerbound on the lengths of resolutionproofs of propositions expressing the finite Ramseytheorem for pairs."@en . . . "000305726800009" . . "A lower bound on the size of resolution proofs of the Ramsey theorem"@en . "120287" . "[398E594E74E2]" . "1"^^ . . . "RIV/67985840:_____/12:00377483!RIV13-AV0-67985840" . "2"^^ . . . "I, P(GBP202/12/G061), P(IAA100190902)" . "112" . "computational complexity; Ramsey theorem; resolution proofs"@en . "1"^^ . . "0020-0190" . "A lower bound on the size of resolution proofs of the Ramsey theorem" . . . . . "A lower bound on the size of resolution proofs of the Ramsey theorem"@en . . . . "Information Processing Letters" . "10.1016/j.ipl.2012.05.004" . "14-15" . "Pudl\u00E1k, Pavel" .