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