arXiv · cs.AI· Helmut Simonis·· 3 小时前
从正负示例学习尺寸无关约束模型的约束获取工具
Learning Size Independent Constraint Models from Input Data and Positive and Negative Example Solutions
arXiv:2610.13640v1阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Helmut Simonis
研究任务与主要进展
Helmut Simonis 的论文提出一种约束获取工具，利用多个问题实例的正、负示例解，从全局约束和二元约束中的典型模式归纳尺寸无关模型，并生成 MiniZinc 代码及文本描述。基于论文摘要，该工具在 PTHG21 Challenge 的示例问题上展示了可行性，但未说明具体实验规模、基线或量化结果。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · cs.AI · arxiv.org