"Fi\u0161er, Petr" . . . . "This paper describes the principles of a novel two level multi-output Boolean minimizer FC-Min, namely its Find Coverage phase. The problem of Boolean minimization is approached in a reverse way than common minimizers do."@en . "556481" . "RIV/68407700:21230/04:03099646" . . "P(GA102/04/2137), Z(MSM 212300014)" . "RIV/68407700:21230/04:03099646!RIV/2005/GA0/212305/N" . "Boolean Minimizer FC-Min: Coverage Finding Process"@en . "This paper describes the principles of a novel two level multi-output Boolean minimizer FC-Min, namely its Find Coverage phase. The problem of Boolean minimization is approached in a reverse way than common minimizers do." . "[DFFED1CA8FC2]" . . "21230" . . "2004-08-31+02:00"^^ . . "Boolean Minimizer FC-Min: Coverage Finding Process" . "Rennes" . . "0-7695-2203-3" . "Boolean minimization; benchmarks; coverage"@en . "Kub\u00E1tov\u00E1, Hana" . . "Nen\u00ED k dispozici"@cs . . "2"^^ . "Piscataway" . . "Nen\u00ED k dispozici"@cs . . . . . "2"^^ . "Boolean Minimizer FC-Min: Coverage Finding Process"@en . "152 ; 159" . . "EUROMICRO Symposium on Digital System Design" . "Nen\u00ED k dispozici"@cs . "Boolean Minimizer FC-Min: Coverage Finding Process" . . . . "8"^^ . "IEEE" .