Constraint Solving in Uncertain and Dynamic Environments: A Survey

Authors:
Gérard Verfaillie;Narendra Jussien
Affiliations:
Laboratoire d'Analyse et d'Architecture des Systèmes (LAAS--CNRS), Toulouse, France;École des Mines de Nantes (EMN), Nantes, France
Venue:
Constraints
Year:
2005

Citing 43
Cited 22

An assumption-based TMS

Artificial Intelligence
Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Probabilistic reasoning in intelligent systems: networks of plausible inference

Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in expert systems: theory and algorithms

Probabilistic reasoning in expert systems: theory and algorithms
An incremental constraint solver

Communications of the ACM
Temporal constraint networks

Artificial Intelligence - Special issue on knowledge representation
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems

Artificial Intelligence - Special volume on constraint-based reasoning
Arc-consistency for non-binary dynamic CSPs

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Multi-way versus one-way constraints in user interfaces: experience with the DeltaBlue algorithm

Software—Practice & Experience
Solution reuse in dynamic constraint satisfaction problems

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Just-in-case scheduling

AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Remote Agent: to boldly go where no AI system has gone before

Artificial Intelligence - Special issue: artificial intelligence 40 years later
Supermodels and robustness

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
CPlan: a constraint programming approach to planning

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Stochastic dynamic programming with factored representations

Artificial Intelligence
Consistency restoriation and explanations in dynamic CSPs----application to configuration

Artificial Intelligence
Markov Decision Processes: Discrete Stochastic Dynamic Programming

Markov Decision Processes: Discrete Stochastic Dynamic Programming
Constraint Solving and Programming: What Next?

Constraints
Ultraviolet: A Constraint Satisfaction Algorithm for InteractiveGraphics

Constraints
Constraint Retraction in CLP(FD): Formal Framework andPerformance Results

Constraints
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties,and Comparison

Constraints
Probe Backtrack Search for Minimal Perturbation in DynamicScheduling

Constraints
Stochastic Boolean Satisfiability

Journal of Automated Reasoning
Local search with constraint propagation and conflict-based heuristics

Artificial Intelligence
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms

IEEE Transactions on Knowledge and Data Engineering
Solving Mixed and Conditional Constraint Satisfaction Problems

Constraints
Constraint Propagation and Value Acquisition: Why we should do it Interactively

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach

ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Hybrid Processing of Beliefs and Constraints

UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Execution of Temporal Plans with Uncertainty

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A Fixpoint Definition of Dynamic Constraint Satisfaction

CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Beyond NP: Arc-Consistency for Quantified Constraints

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Arc-Consistency in Dynamic CSPs Is No More Prohibitive

ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
Fuzzy rrDFCSP and planning

Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Interactive constraint-aided conceptual design

Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Supporting dispatchability in schedules with consumable resources

Journal of Scheduling
Open constraint programming

Artificial Intelligence - Special issue: Distributed constraint satisfaction
Limited discrepancy search

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
Scenario-based stochastic constraint programming

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Maximizing flexibility: a retraction heuristic for oversubscribed scheduling problems

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Dynamic control of plans with temporal uncertainty

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Mixed constraint satisfaction: a framework for decision problems under incomplete knowledge

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Workforce optimization: identification and assignment of professional workers using constraint programming

IBM Journal of Research and Development - Business optimization
DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs

AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Certainty closure: Reliable constraint reasoning with incomplete or erroneous data

ACM Transactions on Computational Logic (TOCL)
A Markovian model for dynamic and constrained resource allocation problems

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Conditional constraint satisfaction: logical foundations and complexity

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Solving dynamic constraint satisfaction problems by identifying stable features

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Alea: grid scheduling simulation environment

PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Cost-driven interactive CSP with constraint relaxation

CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
A constraint-based approach to scheduling an individual's activities

ACM Transactions on Intelligent Systems and Technology (TIST)
Complex university course timetabling

Journal of Scheduling
Dynamic constraint satisfaction problems: relations among search strategies, solution sets and algorithm performance

CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Hybrid search for minimal perturbation in Dynamic CSPs

Constraints
Algorithms for stochastic CSPs

CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
SEaM: analyzing schedule executability through simulation

IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Minimal perturbation problem in course timetabling

PATAT'04 Proceedings of the 5th international conference on Practice and Theory of Automated Timetabling
Using distributed agents for patient scheduling

PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
Dynamic SAT with decision change costs: formalization and solutions

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Constraint programming on infinite data streams

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Where are the interesting problems?

CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Constraint programming for path planning with uncertainty: solving the optimal search path problem

CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Solving dynamic constraint optimization problems using ICHEA

ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part III
An incremental approach to solving dynamic constraint satisfaction problems

ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part III

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article follows a tutorial, given by the authors on dynamic constraint solving at CP 2003 (Ninth International Conference on Principles and Practice of Constraint Programming) in Kinsale, Ireland (Verfaillie, G., & Jussien, N. (2003). It aims at offering an overview of the main approaches and techniques that have been proposed in the domain of constraint satisfaction to deal with uncertain and dynamic environments.