FC-Min: A Fast Multi-Output Boolean Minimizer.

Petr Fiser, Jan Hlavicka, Hana Kubtov

Browse the full DSD paper archive.