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

Alexis de Colnet, Pierre Marquis

Video #1 Length : 00:01:29
Video #2 Length : 00:11:45