Local Consistency in Weighted CSPs and Inference in Max-SAT.

Federico Heras, Javier Larrosa

Browse the full CP paper archive.