"Counting-Based Search in Constraint Programming: Ongoing Design, Analysis, and Application to Solve Practical Combinatorial Satisfaction and Optimization Problems"

“约束规划中基于计数的搜索：持续设计、分析和应用，以解决实际的组合满足和优化问题”

• 批准号: 218028-2012
• 负责人: Pesant, Gilles
• 金额: $ 2.04万
• 依托单位: École Polytechnique de Montréal
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2016
• 资助国家: 加拿大
• 起止时间: 2016-01-01 至 2017-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=594026
• 关键词: Counting; Based; Search; Constraint; Programming

Many planning and scheduling problems arising in industry and public services are challenging to solve satisfactorily, especially if we have limited time to solve them. The solutions actually implemented could typically be improved to achieve better services, higher efficiency, or increased profit. This research is about one computational approach to solve such problems, called Constraint Programming. By improving the way we search for solutions, we may reach better solutions in reasonable time.

工业和公共服务中出现的许多规划和调度问题都很难令人满意地解决，特别是在我们解决这些问题的时间有限的情况下。实际实施的解决方案通常可以进行改进，以实现更好的服务、更高的效率或增加利润。这项研究是关于解决此类问题的一种计算方法，称为约束编程。通过改进我们寻找解决方案的方式，我们可以在合理的时间内找到更好的解决方案。