On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNF.

Alexis de Colnet

Browse the full SAT paper archive.