Sciweavers

93
Voted
CP
2005
Springer
15 years 3 months ago
Local Consistency in Weighted CSPs and Inference in Max-SAT
In this paper we overview our recent work and outline our current line of research: First, we describe the WCSP framework and its related local consistencies. Second, the Max-SAT p...
Federico Heras, Javier Larrosa