Review:

Authors:
Roman Bartá/k;Miguel a. Salido;Francesca Rossi
Affiliations:
Faculty of mathematics and physics, charles university in prague, malostranské/ ná/m. 2/25, 118 00 praha 1, czech republic/ e-mail: bartak@ktiml.mff.cuni.cz;Instituto de automá/tica e informá/tica industrial, universidad polité/cnica de valencia, camino de vera s/n 46020, valencia, spain/ e-mail: msalido@dsic.upv.es;Dipartimento di matematica pura ed applicata, universitá/ di padova, via trieste 63, 35121 padova, italy/ e-mail: frossi@math.unipd.it
Venue:
The Knowledge Engineering Review
Year:
2010

Citing 54
Cited 3

Network-based heuristics for constraint-satisfaction problems

Artificial Intelligence
The shifting bottleneck procedure for job shop scheduling

Management Science
Constraint satisfaction in logic programming

Constraint satisfaction in logic programming
Temporal constraint networks

Artificial Intelligence - Special issue on knowledge representation
Algorithms for constraint-satisfaction problems: a survey

AI Magazine
Planning as satisfiability

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Dead-end driven learning

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Fast planning through planning graph analysis

Artificial Intelligence
Lazy Incremental Learning of Control Knowledge for EfficientlyObtaining Quality Plans

Artificial Intelligence Review - Special issue on lazy learning
Remote Agent: to boldly go where no AI system has gone before

Artificial Intelligence - Special issue: artificial intelligence 40 years later
On the conversion between non-binary constraint satisfaction problems

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
Backtrack Programming

Journal of the ACM (JACM)
A Sufficient Condition for Backtrack-Free Search

Journal of the ACM (JACM)
How to solve it: modern heuristics

How to solve it: modern heuristics
Maintaining knowledge about temporal intervals

Communications of the ACM
Backtrack programming techniques

Communications of the ACM
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Scheduling Algorithms

Scheduling Algorithms
Constraint-Based Scheduling

Constraint-Based Scheduling
Abstracting soft constraints: framework, properties, examples

Artificial Intelligence
Algorithms for propagating resource constraints in AI planning and scheduling: existing approaches and new results

Artificial Intelligence
Constraint Processing

Constraint Processing
Generating Semantic Descriptions From Drawings of Scenes With Shadows

Generating Semantic Descriptions From Drawings of Scenes With Shadows
Automated Planning: Theory & Practice

Automated Planning: Theory & Practice
Handbook of Scheduling: Algorithms, Models, and Performance Analysis

Handbook of Scheduling: Algorithms, Models, and Performance Analysis
Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)

Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)
Constraints and AI Planning

IEEE Intelligent Systems
Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities

Constraints
Handbook of Constraint Programming (Foundations of Artificial Intelligence)

Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Principles of Constraint Programming

Principles of Constraint Programming
Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems

The Knowledge Engineering Review
Semiring-Based Constraint Acquisition

ICTAI '07 Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Scheduling: Theory, Algorithms, and Systems

Scheduling: Theory, Algorithms, and Systems
Branching and pruning: an optimal temporal POCL planner based on constraint programming

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Low-cost addition of preferences to DTPs and TCSPs

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Adaptive control for autonomous underwater vehicles

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
The FF planning system: fast plan generation through heuristic search

Journal of Artificial Intelligence Research
CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements

Journal of Artificial Intelligence Research
The fast downward planning system

Journal of Artificial Intelligence Research
STRIPS: a new approach to the application of theorem proving to problem solving

IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Generating project networks

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Consistency techniques for numeric CSPs

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A general backtrack algorithm that eliminates most redundant tests

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
The nonlinear nature of plans

IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Generalizing GraphPlan by formulating planning as a CSP

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Temporal constraint reasoning with preferences

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Editorial: Introduction: Special Issue on Distributed Constraint Satisfaction

Artificial Intelligence - Special issue: Distributed constraint satisfaction
Computing explanations and implications in preference-based configurators

ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Generating implied boolean constraints via singleton consistency

SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Distributed CSPs: why it is assumed a variable per agent?

SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Dealing with incomplete preferences in soft constraint problems

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

Reconsidering mixed integer programming and MIP-Based hybrids for scheduling

CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Framework for multi-agent planning and coordination in DIS

Proceedings of the Workshop at SIGGRAPH Asia
Automated generation of patient-tailored electronic care pathways by translating computer-interpretable guidelines into hierarchical task networks

Artificial Intelligence in Medicine

Quantified Score

Hi-index	0.00

Visualization

Abstract

During recent years, the development of new techniques for constraint satisfaction, planning, and scheduling has received increased attention, and substantial effort has been invested in trying to exploit such techniques to find solutions to real-life problems. In this paper, we present a survey on constraint satisfaction, planning, and scheduling from the Artificial Intelligence point of view. In particular, we present the main definitions and techniques, and discuss possible ways of integrating such techniques. We also analyze the role of constraint satisfaction in planning and scheduling, and hint at some open research issues related to planning, scheduling, and constraint satisfaction.