Prime Implicant Computation Using Satisfiability Algorithms.

Vasco M. Manquinho, Paulo F. Flores, Joo P. Marques Silva, Arlindo L. Oliveira

Browse the full ICTAI paper archive.