A Dynamic Approach for MPE and Weighted MAX-SAT.

Tian Sang, Paul Beame, Henry A. Kautz

Browse the full IJCAI paper archive.