Login / Signup
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.
Alexis de Colnet
Pierre Marquis
Published in:
ISAIM (2022)
Keyphrases
</>
boolean functions
prime implicants
prime implicates
decision problems
knowledge compilation
decision rules
automated reasoning
polynomial size
complexity theoretic
normal form
abductive reasoning