Boolean Minimizer FC-Min: Coverage Finding Process.

Petr Fiser, Hana Kubtov

Browse the full DSD paper archive.