POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The complexity of optimization problems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
Backtrack-free and backtrack-bounded search
Search in Artificial Intelligence
Constraint satisfaction algorithms
Computational Intelligence
Proceedings of the eighth biennial conference of the Canadian Society for Computational Studies of Intelligence on CSCSI-90
Constraint relaxation may be perfect
Artificial Intelligence
Valuation-based systems: a framework for managing uncertainty in expert systems
Fuzzy logic for the management of uncertainty
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Possibilistic constraint satisfaction problems or “how to handle soft constraints?”
UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Reversible DAC and other improvements for solving Max-CSP
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Maintaining reversible DAC for Max-CSP
Artificial Intelligence
Synthesizing constraint expressions
Communications of the ACM
Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Valuation-based systems for discrete optimisation
UAI '90 Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence
Semiring-based constraint logic programming
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Constraint solving over semirings
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Valued constraint satisfaction problems: hard and easy problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Russian doll search for solving constraint optimization problems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Semiring-based constraint logic programming: syntax and semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Soft Constraints for Security Protocol Analysis: Confidentiality
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Generalized Arc Consistency with Application to MaxCSP
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Arc Consistency for Soft Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
An Original Constraint Based Approach for Solving over Constrained Problems
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
A General Scheme for Multiple Lower Bound Computation in Constraint Optimization
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
New Lower Bounds of Constraint Violations for Over-Constrained Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Opportunistic Specialization in Russian Doll Search
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Specific Filtering Algorithms for Over-Constrained Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation
Fuzzy Sets and Systems - Theme: Multicriteria decision
Editorial: fuzzy set and possibility theory-based methods in artificial intelligence
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Temporal scenario modelling and recognition based on possibilistic logic
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
reality: a scalable intelligent travel planner
Proceedings of the 2003 ACM symposium on Applied computing
Preference programming: Advanced problem solving for configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Modeling and detecting the cascade vulnerability problem using soft constraints
Proceedings of the 2004 ACM symposium on Applied computing
Arc consistency for soft constraints
Artificial Intelligence
Cyclic consistency: a local reduction operation for binary valued constraints
Artificial Intelligence
Qualitative decision making in adaptive presentation of structured information
ACM Transactions on Information Systems (TOIS)
A Hybrid Framework for Over-Constrained Generalized
Artificial Intelligence Review
Solving weighted CSP by maintaining arc consistency
Artificial Intelligence
IEEE Intelligent Systems
A hybrid framework for over-constrained generalized resource-constrained project scheduling problems
Artificial Intelligence Review
Quantitative μ-calculus and CTL defined over constraint semirings
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
A logic of soft constraints based on partially ordered preferences
Journal of Heuristics
Bucket elimination for multiobjective optimization problems
Journal of Heuristics
On-line resources allocation for ATM networks with rerouting
Computers and Operations Research
The complexity of soft constraint satisfaction
Artificial Intelligence
A soft constraint-based approach to the cascade vulnerability problem
Journal of Computer Security - Special issue on security track at ACM symposium on applied computing 2004
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Maximum H-colourable subdigraphs and constraint optimization with arbitrary weights
Journal of Computer and System Sciences
A Linear Programming Approach to Max-Sum Problem: A Review
IEEE Transactions on Pattern Analysis and Machine Intelligence
What is decreased by the max-sum arc consistency algorithm?
Proceedings of the 24th international conference on Machine learning
Semiring induced valuation algebras: Exact and approximate local computation algorithms
Artificial Intelligence
Semiring-Based Soft Constraints
Concurrency, Graphs and Models
Classes of Submodular Constraints Expressible by Graph Cuts
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
The expressive power of valued constraints: Hierarchies and collapses
Theoretical Computer Science
Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Introducing Preferences over NFPs into Service Selection in SOA
Service-Oriented Computing - ICSOC 2007 Workshops
A note on some collapse results of valued constraints
Information Processing Letters
ADOPT-ing: unifying asynchronous distributed optimization with asynchronous backtracking
Autonomous Agents and Multi-Agent Systems
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
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
Soft Constraints Processing over Divisible Residuated Lattices
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
IAAI'04 Proceedings of the 16th conference on Innovative applications of artifical intelligence
Temporal preference optimization as weighted constraint satisfaction
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Note: The expressive power of binary submodular functions
Discrete Applied Mathematics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A maximal tractable class of soft constraints
Journal of Artificial Intelligence Research
On graphical modeling of preference and importance
Journal of Artificial Intelligence Research
An algebraic graphical model for decision with uncertainties, feasibilities, and utilities
Journal of Artificial Intelligence Research
Generic preferences over subsets of structured objects
Journal of Artificial Intelligence Research
A maximal tractable class of soft constraints
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Solving constraint optimization problems in anytime contexts
IJCAI'03 Proceedings of the 18th 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
Decision diagrams for the computation of semiring valuations
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The complexity of soft constraint satisfaction
Artificial Intelligence
Quantitative μ-calculus and CTL Based on Constraint Semirings
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Interchangeability in soft CSPs
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Dealing with incomplete preferences in soft constraint problems
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Structural relaxations by variable renaming and their compilation for solving MinCostSAT
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
The expressive power of valued constraints: hierarchies and collapses
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Compiling solution configurations in semiring valuation systems
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Global propagation of practicability constraints
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
The complexity of valued constraint models
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Advanced generic neighborhood heuristics for VNS
Engineering Applications of Artificial Intelligence
Generalized solution techniques for preference-based constrained optimization with CP-nets
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Interval-valued soft constraint problems
Annals of Mathematics and Artificial Intelligence
BnB-ADOPT: an asynchronous branch-and-bound DCOP algorithm
Journal of Artificial Intelligence Research
Dynamic adaptation of access control policies
MILCOM'03 Proceedings of the 2003 IEEE conference on Military communications - Volume II
Using hard constraints for representing soft constraints
CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Generic solution construction in valuation-based systems
Canadian AI'11 Proceedings of the 24th Canadian conference on Advances in artificial intelligence
An algebraic theory of complexity for valued constraints: establishing a Galois connection
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Structural tractability of constraint optimization
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Probabilistic arc consistency: a connection between constraint reasoning and probabilistic reasoning
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
Emergent timetabling organization
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
An algebraic characterisation of complexity for valued constraint
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Decomposition of multi-operator queries on semiring-based graphical models
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Mini-bucket elimination with bucket propagation
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Conflict-Directed a* search for soft constraints
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Relaxation of soft constraints via a unified semiring
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
ETTO: emergent timetabling by cooperative self-organization
ESOA'05 Proceedings of the Third international conference on Engineering Self-Organising Systems
DR.FILL: crosswords and an implemented solver for singly weighted CSPs
Journal of Artificial Intelligence Research
Managing dynamic CSPs with preferences
Applied Intelligence
WCSP integration of soft neighborhood substitutability
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Interchangeability with thresholds and degradation factors for Soft CSPs
Annals of Mathematics and Artificial Intelligence
Decomposing combinatorial auctions and set packing problems
Journal of the ACM (JACM)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Semiring-based mini-bucket partitioning schemes
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
Inthis paper we describe and compare two frameworks for constraintsolving where classical CSPs, fuzzy CSPs, weighted CSPs, partialconstraint satisfaction, and others can be easily cast. One isbased on a semiring, and the other one on a totally ordered commutativemonoid. While comparing the two approaches, we show how to passfrom one to the other one, and we discuss when this is possible.The two frameworks have been independently introduced in ijcai95,jacmand schiex-ijcai95.