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

Alexis de Colnet, Pierre Marquis

Browse the full ISAIM paper archive.