constraint-programming

经过长时间停更后，Gecode 6.3.0 和 6.4.0 现已发布，带来了现代化的构建系统（CMake）以及更新后的 MiniZinc 集成。

本文提出了一种两步法，用于优化自主实验室中的资源利用率，该方法使用约束规划进行调度，并利用状态依赖关系实现稳健执行，并在金属有机框架合成平台上进行了演示。

本文介绍了飞机拆解调度问题，这是一个大规模组合优化任务，涉及数千个任务、先后关系、平衡约束以及有限空间。本文提出了一个约束规划模型和一个MIP模型，并在包含多达1450个任务的实际运营实例上进行了测试。

本文提出了一种结合动态规划和约束规划的混合方法来解决部分车间调度问题，证明了尽管未超越纯CP求解器，但整合两种范式的可行性。

本文提出了一种约束规划方法，通过树搜索和预处理技术，以$n$日前瞻的方式确定NHL季后赛锁定场景。

作者探讨了利用约束逻辑和等式重写规则，将关系建模与 APL 风格的数组语言相结合，并讨论了如何将属性定义为双向推导，而非简单的赋值。