. "Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science" . . "\u010Cl\u00E1nek ve sborn\u00EDku m\u00E1 uvedeno ISBN nebo ISSN, ale to nen\u00ED v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters." . "61AC49CC1311368C5407EDF988CA214782F99B9C" . . . . "0.33300000000000001821"^^ . "On Properties of SAT Instances Produced by SAT-Based ATPGs" . . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F68407700%3A21230%2F09%3A00159044!RIV10-MSM-21230___"^^ . . "RIV/68407700:21230/09:00159044!RIV10-MSM-21230___" . . . "0.0"^^ . . "0.0"^^ . "0.0"^^ . "1.0"^^ . . "0.0"^^ .