P McGeer, J Sanghavi, R Brayton… - Proceedings of the 30th …, 1993 - dl.acm.org
We present a new algortthrn for exact two-ievei logzc opttmwatton which radtcally tmproves
the Qutne-McCluskey(QM) procedure. The new aigorithm derzves the coverzng problem …