In the quest of the best form of local consistency for weighted CSP

Authors:
Javier Larrosa;Thomas Schiex
Affiliations:
Department of Software, Universitat Politecnica de Catalunya, Barcelona, Spain;Dept. de Biometrie et Intelligence Artificielle, Institut National de Recherche Agronomique, Toulouse, France
Venue:
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Year:
2003

Citing 9
Cited 49

Probabilistic reasoning in intelligent systems: networks of plausible inference

Probabilistic reasoning in intelligent systems: networks of plausible inference
Semiring-based constraint satisfaction and optimization

Journal of the ACM (JACM)
Maintaining reversible DAC for Max-CSP

Artificial Intelligence
Radio Link Frequency Assignment

Constraints
An Algorithm for Optimal Winner Determination in Combinatorial Auctions

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Node and arc consistency in weighted CSP

Eighteenth national conference on Artificial intelligence
Reduction operations in fuzzy or valued constraint satisfaction

Fuzzy Sets and Systems - Optimisation and decision
Valued constraint satisfaction problems: hard and easy problems

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Refining the basic constraint propagation algorithm

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Arc consistency for soft constraints

Artificial Intelligence
High-Order Consistency in Valued Constraint Satisfaction

Constraints
On global warming: Flow-based soft global constraints

Journal of Heuristics
Exact Max-SAT solvers for over-constrained problems

Journal of Heuristics
Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP

Journal of Heuristics
Constraints Between Distant Lines in the Labelling of Line Drawings of Polyhedral Scenes

International Journal of Computer Vision
Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques

Constraints
Boosting VNS with Neighborhood Heuristics for Solving Constraint Optimization Problems

HM '08 Proceedings of the 5th International Workshop on Hybrid Metaheuristics
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques

Proceedings of the 2007 conference on Artificial Intelligence Research and Development
Enhancing constraints manipulation in semiring-based formalisms

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Asynchronous Forward-Bounding for Distributed Constraints Optimization

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Multi-Objective Propagation in Constraint Programming

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Decision with uncertainties, feasibilities, and utilities: towards a unified algebraic framework

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Exploiting tree decomposition and soft local consistency in weighted CSP

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Multi-objective Russian Doll search

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
On the practical use of variable elimination in constraint optimization problems: 'still-life' as a case study

Journal of Artificial Intelligence Research
An algebraic graphical model for decision with uncertainties, feasibilities, and utilities

Journal of Artificial Intelligence Research
MINIMAXSAT: an efficient weighted max-SAT solver

Journal of Artificial Intelligence Research
The logic behind weighted CSP

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conflict directed backjumping for Max-CSPs

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Existential arc consistency: getting closer to full arc consistency in weighted CSPs

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Resolution in Max-SAT and its relation to local consistency in weighted CSPs

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
AND/OR branch-and-bound for graphical models

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Exploiting decomposition on constraint problems with high tree-width

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Set branching in constraint optimization

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Towards efficient consistency enforcement for global constraints in weighted constraint satisfaction

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Soft arc consistency revisited

Artificial Intelligence
MiniMaxSAT: a new weighted Max-SAT solver

SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
On inconsistent clause-subsets for Max-SAT solving

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Valid inequality based lower bounds for WCSP

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Bipolar preference problems: framework, properties and solving techniques

CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
A parameterized local consistency for redundant modeling in weighted CSPs

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Advanced generic neighborhood heuristics for VNS

Engineering Applications of Artificial Intelligence
Redundant modeling in permutation weighted constraint satisfaction problems

Constraints
Solving satisfiability problems with preferences

Constraints
BnB-ADOPT+ with Several Soft Arc Consistency Levels

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A weighted CSP approach to cost-optimal planning

AI Communications
Connecting BnB-ADOPT with soft arc consistency: initial results

CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Soft arc consistency applied to optimal planning

CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Clique inference process for solving Max-CSP

CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Improved algorithm for the soft global cardinality constraint

CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Speeding up weighted constraint satisfaction using redundant modeling

AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Distributed constraint optimization problems related with soft arc consistency

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Improving BnB-ADOPT+-AC

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Consistency techniques for flow-based projection-safe global cost functions in weighted constraint satisfaction

Journal of Artificial Intelligence Research
Including soft global constraints in DCOPs

CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Consistencies for ultra-weak solutions in minimax weighted CSPs using the duality principle

CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Resolution procedures for multiple-valued optimization

Information Sciences: an International Journal
Modularity-based decompositions for valued CSP

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Speculative execution of information gathering plans can dramatically reduce the effect of source I/O latencies on overall performance. However, the utility of speculation is closely tied to how accurately data values are predicted at runtime. Caching ...