Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form.

Sad Jabbour, Joo Marques-Silva, Lakhdar Sais, Yakoub Salhi

Browse the full JELIA paper archive.