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