Implicants of k-CNF Formulas

by Navid Talebanfard

@MISC{Talebanfard_implicantsof,
    author = {Navid Talebanfard},
    title = {Implicants of k-CNF Formulas},
    year = {}
}