. "1"^^ . . . . . "SIAM Journal on Computing" . "RIV/00216208:11320/09:00206403!RIV10-GA0-11320___" . . . "http://www.isvav.cz/h11/resultDetail.do?rowId=RIV%2F00216208%3A11320%2F09%3A00206403!RIV10-GA0-11320___"^^ . . "66.297"^^ . "FaF!7SvSMSEd494w2+v4-juUvg8=" . . . "66.297"^^ . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . "Congruence distributivity implies bounded width" . .