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

Open in new window