Flexible Two-Level Boolean Minimizer BOOM-II and Its Applications.

Petr Fiser, Hana Kubtov

Browse the full DSD paper archive.