An Improved Decision-DNNF Compiler.

Jean-Marie Lagniez, Pierre Marquis

Browse the full IJCAI paper archive.