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

Alexis de Colnet Pierre Marquis

Published in: IJCAI (2022)

Keyphrases

boolean functions
prime implicants
decision problems
prime implicates
knowledge compilation
complexity theoretic
automated reasoning
abductive reasoning
polynomial size
database
expert systems
decision rules
inference rules
membership queries
propositional formulas