1、第13届约束编程原理与实践国际会议（CP 2007）综述

第13届约束编程原理与实践国际会议（CP 2007）综述

会议概况

第13届约束编程原理与实践国际会议（CP 2007）于2007年9月23 - 27日在美国罗德岛州普罗维登斯市举行，此次会议与国际自动规划与调度会议（ICAPS）同期举办。CP会议系列是约束编程领域的顶级国际会议，每年举办一次，专注于约束计算的各个方面，由约束编程协会（ACP）组织。相关会议信息可在 CP会议官网 查询，ACP的信息可在 ACP官网 获取。

投稿与评审

CP 2007发起了两项投稿征集活动：
- 研究论文 ：描述该领域的新颖贡献，共收到143份投稿。
- 应用论文 ：描述约束技术在工业界的应用，共收到22份投稿。

研究论文采用双盲评审制度，每篇论文获得三份评审意见，作者有机会查看并回应评审意见，之后由程序委员会成员进行广泛讨论。应用论文由单独的应用委员会评审。最终，程序委员会和应用委员会选出43篇研究论文和9篇应用论文以全文形式发表在会议论文集中，另外14篇研究论文以短文形式发表。全文论文在会议的两个并行轨道上展示，短文则在海报环节展示。

奖项设置

• 最佳论文奖 ：Alessandro Zanarini和Gilles Pesant的论文 “Solution Counting Algorithms for Constraint - Centered Search Heuristics” 获得。
• ACP最佳学生论文奖 ：Olga Ohrimenko、Peter J. Stuckey和Michael Codish的论文 “Propagation = Lazy Clause Generation” 获得。

会议日程安排

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px

    A(会议开始):::process --> B(卫星研讨会):::process
    B --> C(正式会议):::process
    C --> D(投稿论文展示):::process
    D --> E(特邀讲座):::process
    D --> F(教程环节):::process
    D --> G(小组讨论):::process
    E --> H(会议结束):::process
    F --> H
    G --> H

特邀讲座

程序委员会邀请了两位杰出研究人员Fahiem Bacchus和Matt Ginsberg进行特邀讲座，讲座内容总结包含在会议论文集中。此外，获得 “约束编程研究卓越奖” 的Rina Dechter也进行了演讲。

教程环节

教程主席挑选了四个教程纳入会议议程：
1. “Ants and Constraint Programming”，由Christine Solnon主讲。
2. “SAT solving”，由Inˆes Lynce主讲。
3. “ECLIPSE by example”，由Joachim Schimpf主讲。
4. 介绍近期CP求解器的教程。

小组讨论

由Barry O’Sullivan组织的小组讨论环节，工业界人士讨论了CP技术的应用，并对当前求解器的优缺点提供了反馈。

博士项目

CP 2007延续了CP博士项目的传统，博士生展示他们的研究成果，听取职业发展相关的教程，并通过导师指导计划与资深研究人员讨论工作。今年该项目收到37份投稿，选出30份给予资金支持。

卫星研讨会

会议第一天安排了卫星研讨会，探讨约束编程的一些重要研究方向。今年共举办了七个研讨会，其中一个与ICAPS联合举办，每个研讨会都出版了自己的论文集。具体研讨会如下：
- 自主搜索
- 分布式约束推理
- 约束建模与重构
- 约束满足中的局部搜索技术
- 图形应用的约束编程
- 规划与调度问题的约束满足技术
- 对称性与约束满足问题

会议组织架构

程序委员会成员

• Fahiem Bacchus（加拿大）
• Roman Bartak（捷克共和国）
• Christopher Beck（加拿大）
• Frdric Benhamou（法国）
• Alexander Brodsky（美国）
• Mats Carlsson（瑞典）
• Hubie Chen（西班牙）
• Rina Dechter（美国）
• Boi Faltings（瑞士）
• Pierre Flener（瑞典）
• Thom Fr¨uhwirth（德国）
• Maria Garcia de la Banda（澳大利亚）
• Carla Gomes（美国）
• Narendra Jussien（法国）
• Brahim Hnich（土耳其）
• Javier Larrosa（西班牙）
• Christophe Lecoutre（法国）
• Jimmy Lee（中国香港）
• Olivier Lhomme（法国）
• Felip Manya（西班牙）
• Joao Marques - Silva（英国）
• Amnon Meisels（以色列）
• Laurent Michel（美国）
• Ian Miguel（英国）
• Bertrand Neveu（法国）
• Barry O’Sullivan（爱尔兰）
• Gilles Pesant（加拿大）
• Francesca Rossi（意大利）
• Thomas Schiex（法国）
• Christian Schulte（瑞典）
• Meinolf Sellmann（美国）
• Kostas Stergiou（希腊）
• Peter van Beek（加拿大）
• Willem - Jan van Hoeve（美国）
• G´erard Verfaillie（法国）
• Toby Walsh（澳大利亚）
• Roland Yap（新加坡）

应用委员会成员

• Barry O’Sullivan（爱尔兰）
• Jean - Francois Puget（法国）
• Helmut Simonis（英国）
• Pascal Van Hentenryck（美国）
• Mark Wallace（澳大利亚）

赞助机构

• 约束编程协会
• 布朗大学
• 科克约束计算中心
• 富达投资
• 谷歌
• IBM
• ILOG
• 康奈尔大学智能信息系统研究所
• 澳大利亚国家信息与通信技术中心
• 诺基亚
• 施普林格
• 康涅狄格大学

会议论文集目录

特邀讲座

• “Caching in Backtracking Search” - Fahiem Bacchus
• “Of Mousetraps and Men: A Cautionary Tale” - Matt Ginsberg

应用论文

全文研究论文

短文研究论文

致谢

会议组织者对众多人员和机构表示感谢：
- 会议主席 ：Laurent Michel和Meinolf Sellmann负责会议的组织、预算和规划。
- 博士项目主席 ：Brahim Hnich和Kostas Stergiou为学生设立了出色的项目。
- 研讨会/教程主席 ：Pedro Meseguer为创建优秀的研讨会和教程项目付出努力。
- 宣传主席 ：Carmen Gervet精心设计会议标志并关注会议网站的美观性。
- 协助人员 ：Guillaume Verger在收集会议论文集材料的最后阶段提供帮助。
- 最佳论文委员会成员 ：Javier Larrosa、Christophe Lecoutre和Christian Schulte在短时间内阅读所有候选论文。
- 程序委员会和应用委员会成员 ：按时评审论文并积极参与在线讨论，确保了技术议程的高质量。
- 提出建议者 ：Barry O’Sullivan和Helmut Simonis为缩小工业应用与学术研究之间的差距提出了很多好主意。
- 赞助主席和会议协调员 ：Barry O’Sullivan与会议主席密切合作，吸引众多赞助商，实现预算平衡。
- 支持机构 ：众多机构为会议提供了支持。
- 提供建议者 ：Frdric Benhamou、Francesca Rossi和Peter van Beek为程序主席提供了应对压力工作的建议。
- ACP执行委员会 ：选择Christian Bessiere担任程序主席。

研究成果亮点分析

应用论文成果

应用论文聚焦于约束编程在不同领域的实际应用，为工业界解决了诸多实际问题，以下是部分论文的亮点分析：
| 论文标题 | 亮点 |
| ---- | ---- |
| Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth - Observing Satellite | 针对自主敏捷地球观测卫星姿态改变的最小持续时间进行估计，为卫星的高效运行提供了重要的时间参考，有助于优化卫星的观测任务安排。 |
| Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques | 运用约束满足技术解决了空调系统在实体设计中的问题，提高了空调系统设计的效率和质量，降低了设计成本。 |
| Solving the Salinity Control Problem in a Potable Water System | 致力于解决饮用水系统中的盐度控制问题，保障了饮用水的质量，对于水资源的合理利用和管理具有重要意义。 |

全文研究论文成果

全文研究论文在约束编程的理论和算法方面取得了一系列重要进展，为该领域的发展提供了新的思路和方法：
| 论文标题 | 亮点 |
| ---- | ---- |
| A Constraint Store Based on Multivalued Decision Diagrams | 提出了基于多值决策图的约束存储方法，提高了约束存储的效率和灵活性，为约束编程的求解提供了更强大的支持。 |
| GAC Via Unit Propagation | 通过单位传播实现广义弧一致性（GAC），简化了约束传播的过程，提高了求解效率。 |
| Solution Directed Backjumping for QCSP | 针对量化约束满足问题（QCSP）提出了基于解导向的回跳算法，有效减少了搜索空间，提高了求解速度。 |

短文研究论文成果

短文研究论文虽然篇幅较短，但也在一些特定的问题上进行了深入探讨，为约束编程的研究提供了有益的补充：
| 论文标题 | 亮点 |
| ---- | ---- |
| Answer Set Optimization for and/or Composition of CP - Nets: A Security Scenario | 在安全场景下对CP - 网的与或组合进行答案集优化，为安全领域的决策提供了新的方法和思路。 |
| Uncertainty in Bipolar Preference Problems | 研究了双极偏好问题中的不确定性，为处理不确定信息的约束编程提供了理论基础。 |
| An Analysis of Slow Convergence in Interval Propagation | 对区间传播中的慢收敛问题进行了分析，有助于改进区间传播算法，提高求解效率。 |

技术趋势总结

从会议的论文可以看出，约束编程领域呈现出以下几个技术趋势：
1. 跨领域应用拓展 ：约束编程技术在卫星、空调、饮用水等多个领域得到了广泛应用，未来有望在更多领域发挥重要作用。
2. 算法优化与创新 ：不断有新的算法和技术被提出，如基于多值决策图的约束存储、解导向的回跳算法等，以提高求解效率和性能。
3. 处理不确定性 ：越来越多的研究关注如何处理约束编程中的不确定性信息，如双极偏好问题中的不确定性、区间传播中的慢收敛问题等。
4. 可视化与模型驱动 ：模型驱动的可视化技术逐渐受到重视，有助于用户更好地理解和分析约束编程问题。

未来展望

约束编程作为一个充满活力的研究领域，未来还有许多值得探索的方向：
1. 与其他技术的融合 ：可以将约束编程与人工智能、机器学习等技术相结合，以解决更复杂的问题。
2. 大规模问题求解 ：随着实际问题规模的不断增大，需要开发更高效的算法和技术来解决大规模约束编程问题。
3. 实时性要求 ：在一些实时性要求较高的应用场景中，如卫星控制、工业自动化等，需要研究如何在保证求解质量的前提下提高求解速度。
4. 用户体验提升 ：通过开发更友好的用户界面和可视化工具，提高用户对约束编程技术的接受度和使用效率。

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px

    A(跨领域应用拓展):::process --> B(未来发展):::process
    C(算法优化与创新):::process --> B
    D(处理不确定性):::process --> B
    E(可视化与模型驱动):::process --> B
    B --> F(与其他技术融合):::process
    B --> G(大规模问题求解):::process
    B --> H(实时性要求):::process
    B --> I(用户体验提升):::process

总之，第13届约束编程原理与实践国际会议展示了约束编程领域的最新研究成果和技术趋势，为该领域的研究人员和从业者提供了一个交流和学习的平台。未来，约束编程技术有望在更多领域得到应用和发展，为解决实际问题提供更强大的支持。