. "21230" . . . "New method for generating benchmark circuits."@en . . "P(GA102/03/0672), Z(MSM 212300014)" . "benchmark generation;logic optimization"@en . . . "214 ; 219" . "[009CF125E3B7]" . "New method for generating benchmark circuits." . "Elsevier Science" . "Invar - A Benchmark Generation Tool"@en . "0-08-044130-0" . "Oxford" . . . . "6"^^ . "Dan\u011Bk, Martin" . "Invar - A Benchmark Generation Tool" . "Kune\u0161, Michal" . . . "2003-02-11+01:00"^^ . "RIV/68407700:21230/03:03090183!RIV/2004/GA0/212304/N" . . . . . "2"^^ . "611107" . "Invar - A Benchmark Generation Tool"@en . "Programmable Devices and Systems 2003" . "2"^^ . "Invar - A Benchmark Generation Tool" . . "Ostrava" . "RIV/68407700:21230/03:03090183" . . .