约束获取工具可生成规模无关约束模型

1. 12:00
   arXiv cs.AI

   从输入数据与正负样例学习规模无关约束模型

   一款约束获取工具能从多个问题实例的输入数据及正负样例解中生成规模无关的约束程序，先基于全局约束与二元约束的典型模式找到规模相关模型，再泛化为可运行于未见数据的规模无关模型，并输出 MiniZinc 代码与文本描述。该工具在 PTHG21 Challenge 的示例问题上完成评估，验证了方法可行性。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。