A Dynamic Approach for MPE and Weighted MAX-SAT
A Compiler for Deterministic, Decomposable Negation Normal Form