"A note on SAT algorithms and proof complexity" . . "3WjjsQyfsDrx8+tL-L5XoAh1Sqc=" . . "RIV/67985840:_____/12:00380502!RIV13-AV0-67985840" . . "14.038"^^ . . . . "14.85"^^ . . "7.425"^^ . "Information Processing Letters" . . . . . . . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F67985840%3A_____%2F12%3A00380502!RIV13-AV0-67985840"^^ . "7.019"^^ . . "J_imp \u010Dl\u00E1nek v impaktovan\u00E9m \u010Dasopise" . "0.5"^^ . .