.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
交互式配置将用户作为配置过程中的一个关键因素。交互式配置器的两个主要组成部分是前端用户界面和后端知识表示与推理（KRR）框架。本文讨论了支持交互式配置过程的基础KRR系统的关键要求。作为用于实现产品配置器的许多推理系统和工具的代表，我们选择了MiniZinc、Choco、Potassco、Picat、CP-SAT solver和Z3进行评估，并依据识别出的要求对它们进行了审查。我们观察到，许多这些要求并未得到现有独立求解器的良好支持。
期刊
暂无期刊信息
机构
暂无机构信息
引用论文
暂无论文信息