Resolution in Max-SAT and its relation to local consistency in weighted CSPs.

Javier Larrosa, Federico Heras

Browse the full IJCAI paper archive.