. . "SAT; ATPG; testing; test compression"@en . "331438" . "2"^^ . "[790A120B557F]" . . . . "3"^^ . "In this paper we propose a study of properties of SAT (satisffability) instances produced by SAT-based Automatic Test Pattern Generators (ATPGs). Standard non-commercial SAT solvers are being widely used for the purpose of solving these instances.We show an analysis of properties of these special SAT instances. Even though these ATPG SAT instances have been thoroughly studied in the past, we show some newly found properties. Particularly, reasons why ATPG SAT instances are `easy to be solved' are shown by analysis of the SAT instances. Then, unexpected behavior of ATPG SAT instances, in terms of their satisfiffability, was observed. Next, we propose solution-preserving SAT transformations and study the properties of the reduced SAT instances." . "Schmidt, Jan" . . . "978-80-87342-04-6" . . "RIV/68407700:21240/09:00159044!RIV10-MSM-21240___" . "Neuveden" . . "On Properties of SAT Instances Produced by SAT-Based ATPGs" . "21240" . "Fi\u0161er, Petr" . . "On Properties of SAT Instances Produced by SAT-Based ATPGs"@en . "Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science" . "2009-11-13+01:00"^^ . "P(GA102/09/1668), Z(MSM6840770014)" . . . "Znojmo" . . . "In this paper we propose a study of properties of SAT (satisffability) instances produced by SAT-based Automatic Test Pattern Generators (ATPGs). Standard non-commercial SAT solvers are being widely used for the purpose of solving these instances.We show an analysis of properties of these special SAT instances. Even though these ATPG SAT instances have been thoroughly studied in the past, we show some newly found properties. Particularly, reasons why ATPG SAT instances are `easy to be solved' are shown by analysis of the SAT instances. Then, unexpected behavior of ATPG SAT instances, in terms of their satisfiffability, was observed. Next, we propose solution-preserving SAT transformations and study the properties of the reduced SAT instances."@en . "Brno" . . . "RIV/68407700:21240/09:00159044" . "On Properties of SAT Instances Produced by SAT-Based ATPGs" . "Balc\u00E1rek, Ji\u0159\u00ED" . . . "On Properties of SAT Instances Produced by SAT-Based ATPGs"@en . "8"^^ . . .