Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

CP
2005
Springer

favoriteEmaildiscussreport

89views Artificial Intelligence» more CP 2005»

Local Consistency in Weighted CSPs and Inference in Max-SAT

13 years 10 months ago

Local Consistency in Weighted CSPs and Inference in Max-SAT

Download www.lsi.upc.edu

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 problem and some related inference rules including a new rule that is an extension of the classical Modus Ponens. Finally, we will show the relation between both ideas and how this link can help us to improve existent methods to solve both WCSP and Max-SAT problem.

Federico Heras, Javier Larrosa

Real-time Traffic

CP 2005 | Max-SAT Problem | Programming Languages | Related Local Consistencies | WCSP Framework |

claim paper

Related Content

» Inference Rules for HighOrder Consistency in Weighted CSP

» A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs

» Probabilistic Consistency Boosts MAC and SAC

» What is decreased by the maxsum arc consistency algorithm

» Weighted Constraint Satisfaction with Set Variables

» Applying Local Search to Temporal Reasoning

» Robust Visual Tracking Based on an Effective Appearance Model

» Learning Mixtures of Localized Rules by Maximizing the Area Under the ROC Curve

» Robust vehicle localization in urban environments using probabilistic maps

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CP
Authors	Federico Heras, Javier Larrosa

Comments (0)