"http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216208%3A11320%2F05%3A00001320!RIV06-MSM-11320___"^^ . "Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing" . "RIV/00216208:11320/05:00001320!RIV06-MSM-11320___" . "16.731000000000001648"^^ . . "1.0"^^ . . . . "16.731000000000001648"^^ . . "16.731000000000001648"^^ . . "Discrete Applied Mathematics" . . "16.731000000000001648"^^ . . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . "1.0"^^ . . . . "433A7F69728F5DEC96579CBFF24206ADA15E573D" .