Petr Fiser, Hana Kubatova. Boolean Minimizer FC-Min: Coverage Finding Process. In 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August - 3 September 2004, Rennes, France. pages 152-159, IEEE Computer Society, 2004. [doi]
Abstract is missing.