arXiv cs.AI· Helmut Simonis·· 6 小时前AI 评分18
从输入数据与正负样例学习规模无关约束模型
Learning Size Independent Constraint Models from Input Data and Positive and Negative Example Solutions
AI 导读
一款约束获取工具能从多个问题实例的输入数据及正负样例解中生成规模无关的约束程序，先基于全局约束与二元约束的典型模式找到规模相关模型，再泛化为可运行于未见数据的规模无关模型，并输出 MiniZinc 代码与文本描述。该工具在 PTHG21 Challenge 的示例问题上完成评估，验证了方法可行性。
来源：arXiv cs.AI · arxiv.org