Login / Signup

On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.

Alexis de ColnetPierre 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