. "0.0"^^ . "1.0"^^ . . "0.0"^^ . "61AC49CC1311368C5407EDF988CA214782F99B9C" . . "0.0"^^ . . . "0.0"^^ . . "On Properties of SAT Instances Produced by SAT-Based ATPGs" . "0.6670000000000000373"^^ . "Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science" . "RIV/68407700:21240/09:00159044!RIV10-MSM-21240___" . "\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." . . . . . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F68407700%3A21240%2F09%3A00159044!RIV10-MSM-21240___"^^ . .