15 search results - page 1 / 3 » Local Consistency in Weighted CSPs and Inference in Max-SAT |
CP
2005
Springer
14 years 4 months ago
2005
Springer
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...
AAAI
2007
14 years 1 months ago
2007
Recently defined resolution calculi for Max-SAT and signed Max-SAT have provided a logical characterization of the solving techniques applied by Max-SAT and WCSP solvers. In this...
AUSAI
2007
Springer
14 years 5 months ago
2007
Springer
IJCAI
2007
14 years 13 days ago
2007
Constraint Satisfaction Problems (CSPs) are ubiquitous in Artificial Intelligence. The backtrack algorithms that maintain some local consistency during search have become the de ...
ICML
2007
IEEE
14 years 11 months ago
2007
IEEE
Inference tasks in Markov random fields (MRFs) are closely related to the constraint satisfaction problem (CSP) and its soft generalizations. In particular, MAP inference in MRF i...