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