A Dynamic Approach for MPE and Weighted MAX-SAT.

Tian Sang Paul Beame Henry A. Kautz

Published in: IJCAI (2007)

Keyphrases

weighted max sat
max sat
search algorithm
cellular automata
satisfiability problem
boolean satisfiability