. "RIV/68407700:21230/04:03100101" . "Nen\u00ED k dispozici"@cs . "Two-Level Boolean Minimizer BOOM-II"@en . . . "8"^^ . "Nen\u00ED k dispozici"@cs . . . "two-level Boolean minimizer, benchmarks, covering problem, FC-min, BOOM"@en . . . "RIV/68407700:21230/04:03100101!RIV/2005/GA0/212305/N" . "21230" . . "2"^^ . "Kub\u00E1tov\u00E1, Hana" . "Two-Level Boolean Minimizer BOOM-II" . . . "Two-Level Boolean Minimizer BOOM-II" . "We propose a novel two-level Boolean minimizer coming in succession to our previously developed minimizer BOOM, so we have named it BOOM-II. It is a combination of two minimizers, namely BOOM and FC Min. Each of these two methods has its own area where it is most efficiently applicable. We have combined these two methods together to be able to solve all kinds of problems efficiently, independently on their size or nature. The tool is very scalable in terms of the required runtime and/or the quality of the solution. It is applicable to functions with an extremely large number of both input and output variables."@en . . . "2"^^ . . . "Two-Level Boolean Minimizer BOOM-II"@en . . "[CE984759D8B7]" . "P(GA102/04/2137), Z(MSM 212300014)" . "221 ; 228" . "Freiberg" . . "591077" . "Freiberg University of Mining and Technology, Institute of Computer Science" . "Nen\u00ED k dispozici"@cs . . "Fi\u0161er, Petr" . "Freiberg (Sachsen)" . "Boolean Problems - 6th International Workshop" . . "We propose a novel two-level Boolean minimizer coming in succession to our previously developed minimizer BOOM, so we have named it BOOM-II. It is a combination of two minimizers, namely BOOM and FC Min. Each of these two methods has its own area where it is most efficiently applicable. We have combined these two methods together to be able to solve all kinds of problems efficiently, independently on their size or nature. The tool is very scalable in terms of the required runtime and/or the quality of the solution. It is applicable to functions with an extremely large number of both input and output variables." . . . "3-86012-233-9" . . "2004-09-23+02:00"^^ .