"14.038"^^ . "14.038"^^ . . . . "J_imp \u010Dl\u00E1nek v impaktovan\u00E9m \u010Dasopise" . . . . . . "1"^^ . "RIV/67985840:_____/12:00377483!RIV13-AV0-67985840" . . "Information Processing Letters" . . . "KbAg1i!CUrwcGhxUb+2MZ575y.4=" . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F67985840%3A_____%2F12%3A00377483!RIV13-AV0-67985840"^^ . . . "14.85"^^ . . "A lower bound on the size of resolution proofs of the Ramsey theorem" . "14.85"^^ . .