.png){kind=icon}
返回
Globalizing constraint models
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2021.103599.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We present a method to detect implicit model patterns (such as global constraints) that might be able to replace parts of a combinatorial problem model that are expressed at a low-level. This can help non-expert users write higher-level models that are easier to reason about and often yield better performance. Our method generates candidate model patterns by analyzing both the structure of the model - its constraints, variables, parameters and loops - and the input data from one or more data files. Each candidate is scored by comparing a sample of its solution space with that of the part of the model it is intended to replace. The top-scoring candidates are presented to the user through an interactive display, which shows how they could be incorporated into the model. The method is implemented for the MiniZinc modeling language and available as part of the MiniZinc distribution. (C) 2021 Elsevier B.V. All rights reserved.
Keyword:
Constraint programming
Constraint acquisition
Automated modeling
Constraint modeling
Global constraints
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
Study on Electromagnetic–Dynamic Coupled Modeling Method—Detection by Stator Current of the Induction Motors with Bearing Faults.png)
Machines
OAAI
MachinesIF0
OAAI分享收藏 没有更多内容
没有更多内容