Computing prime implicants.

David Dharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure

Browse the full FMCAD paper archive.