An Improved Decision-DNNF Compiler
On Compiling CNF into Decision-DNNF