从正负例解归纳尺寸无关约束模型的工具

Helmut Simonis 的论文提出一个约束获取工具：利用多个问题实例的正、负示例解，从全局约束和二元约束中的典型模式归纳出尺寸无关的约束模型，并生成 MiniZinc 代码及文本描述。 基于论文摘要，作者称在 PTHG21 Challenge 的示例问题上评估了该工具并展示方法的可行性；论文未给出具体实验规模、基线或量化结果。

AI 根据报道生成 · 59 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。