arXiv · cs.AI· Helmut Simonis·· 18 天前AI 评分28
从输入数据与正负示例解中学习规模无关的约束模型
Learning Size Independent Constraint Models from Input Data and Positive and Negative Example Solutions
来源与原文
arXiv · cs.AI
作者：Helmut Simonis
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.13640v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
论文提出一个约束获取工具，可从输入数据及多问题实例的正负示例解中生成规模无关的约束程序。系统先基于全局约束与二元约束上的典型模式找到规模特定模型，再泛化为可运行于未见数据的规模无关模型，并输出 MiniZinc 代码与模型的文本描述。作者在 PTHG21 Challenge 示例问题上评估了该工具，验证了方法的可行性。
来源：arXiv · cs.AI · arxiv.org