Constraint satisfaction for planning and scheduling problems

被引:0
|
作者
Roman Barták
Miguel A. Salido
机构
[1] Charles University in Prague,Faculty of Mathematics and Physics
[2] Universidad Politécnica de Valencia,Instituto de Automática e Informàtica Industrial
来源
Constraints | 2011年 / 16卷
关键词
Planning; Scheduling; Constraint programming; Search;
D O I
暂无
中图分类号
学科分类号
摘要
The areas of planning and scheduling (from the Artificial Intelligence point of view) have seen important advances thanks to application of constraint satisfaction techniques. Currently, many important real-world problems require efficient constraint handling for planning, scheduling and resource allocation to competing goal activities over time in the presence of complex state-dependent constraints. Solutions to these problems require integration of resource allocation and plan synthesis capabilities. Hence to manage such complex problems planning, scheduling and constraint satisfaction must be interrelated. This special issue on Constraint Satisfaction for Planning and Scheduling Problems compiles a selection of papers dealing with various aspects of applying constraint satisfaction techniques in planning and scheduling. The core of submitted papers was formed by the extended versions of papers presented at COPLAS’2009: ICAPS 2009 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems. This issue presents novel advances on planning, scheduling, constraint programming/constraint satisfaction problems (CSPs) and many other common areas that exist among them. On the whole, this issue mainly focus on managing complex problems where planning, scheduling, constraint satisfaction and search must be combined and/or interrelated, which entails an enormous potential for practical applications and future research.
引用
收藏
相关论文
共 50 条
  • [41] A new branch-and-filter exact algorithm for binary constraint satisfaction problems
    San Segundo, Pablo
    Furini, Fabio
    Leon, Rafael
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2022, 299 (02) : 448 - 467
  • [42] LAZY REPAIRING BACKTRACKING FOR DYNAMIC CONSTRAINT SATISFACTION PROBLEMS
    Acodad, Yosra
    Benamrane, Amine
    Bouyakhf, El Houssine
    Benelallam, Imade
    COMPUTING AND INFORMATICS, 2021, 40 (05) : 1056 - 1079
  • [43] Solving Constraint Satisfaction Problems by ACO with Cunning Ants
    Mizuno, Kazunori
    Hayakawa, Daiki
    Sasaki, Hitoshi
    Nishihara, Seiichi
    2011 INTERNATIONAL CONFERENCE ON TECHNOLOGIES AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE (TAAI 2011), 2011, : 155 - 160
  • [44] Redundant modeling in permutation weighted constraint satisfaction problems
    Law, Yat Chiu
    Lee, Jimmy H. M.
    Woo, May H. C.
    CONSTRAINTS, 2010, 15 (03) : 354 - 403
  • [45] Solving constraint satisfaction problems with SAT modulo theories
    Miquel Bofill
    Miquel Palahí
    Josep Suy
    Mateu Villaret
    Constraints, 2012, 17 : 273 - 303
  • [46] Solving constraint satisfaction problems with SAT modulo theories
    Bofill, Miquel
    Palahi, Miquel
    Suy, Josep
    Villaret, Mateu
    CONSTRAINTS, 2012, 17 (03) : 273 - 303
  • [47] An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems
    Amadini, Roberto
    Gabbrielli, Maurizio
    Mauro, Jacopo
    INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE, 2016, 3 (07): : 81 - 86
  • [48] Study on constraint scheduling algorithm for job shop problems with multiple constraint machines
    Zuo, Yan
    Gu, Hanyu
    Xi, Yugeng
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2008, 46 (17) : 4785 - 4801
  • [49] A Choice Function to Dynamic Selection of Enumeration Strategies Solving Constraint Satisfaction Problems
    Crawford, Broderick
    Montecinos, Mauricio
    Castro, Carlos
    Monfroy, Eric
    2009 INTERNATIONAL CONFERENCE OF SOFT COMPUTING AND PATTERN RECOGNITION, 2009, : 229 - +
  • [50] A Constraint-Based Declarative Programming Framework for Scheduling and Resource Allocation Problems
    Wikarek, Jaroslaw
    Sitek, Pawel
    VIETNAM JOURNAL OF COMPUTER SCIENCE, 2019, 6 (01) : 69 - 90