Solving Max-SAT as Weighted CSP.

Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex

Browse the full CP paper archive.