Algorithms for selective enumeration of prime implicants

DOI10.1016/S0004-3702(99)00035-1zbMath0996.68181OpenAlexW2012022843MaRDI QIDQ1606302

Fiora Pirri, Clara Pizzuti, Luigi Palopoli

Publication date: 24 July 2002

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00035-1

zbMATH Keywords

CNF formulae

Mathematics Subject Classification ID

Integer programming (90C10)

Related Items (4)

SAT-Based Horn Least Upper Bounds ⋮ Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form ⋮ Fuzzy relational equations with min-biimplication composition ⋮ Preferences and explanations

This page was built for publication: Algorithms for selective enumeration of prime implicants