1、约束编程国际会议CP 2007：研究与应用的盛会

约束编程国际会议CP 2007：研究与应用的盛会

会议概况

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

投稿与评审

CP 2007发起了两项投稿征集活动：
- 研究论文 ：共收到143份投稿，描述该领域的新颖贡献。研究论文采用双盲评审机制，每篇论文获得三份评审意见，作者有机会查看并回应这些意见，之后由程序委员会成员对论文及其评审意见进行深入讨论。
- 应用论文 ：收到22份投稿，描述约束技术在工业界的应用。应用论文由单独的应用委员会评审。

最终，程序委员会和应用委员会选出43篇研究论文和9篇应用论文以全文形式发表在会议论文集中，另外14篇研究论文以短文形式发表。全文论文在会议的两个平行轨道上进行展示，短文则在海报环节展示。“Solution Counting Algorithms for Constraint - Centered Search Heuristics” 一文，由Alessandro Zanarini和Gilles Pes