BriefGPT.xyz
Ask
alpha
关键词
constraint programming
搜索结果 - 45
MM
混合自动推理工具:从黑盒到透明盒的集成
该论文介绍了约束逻辑编程和 Answer Set Programming 在混合领域的开发中的成功,以及 CASP 系统的困难之处,认为需要一个评估不同 CASP 方法集成方案的案例研究来解决这一问题。
PDF
11 years ago
在序列数据库中挖掘序列模式的约束编程方法
本研究采用约束编程 (CP) 技术,探讨在序列数据库中建模和挖掘顺序模式的方法。实验证明了我们的 CP 方法的可行性和实用性。
PDF
11 years ago
一种增强特征提取器,用于约束求解器的组合
本文介绍了一种取自不同建模语言(MiniZinc、FlatZinc 或 XCSP)的限制编程(CSP)问题的特征集,用于求解器选择,实验结果显示使用这些特征可与最先进的 CSP 投资组合技术相竞争
PDF
11 years ago
MM
ASP 模数 CSP: clingcon 系统
本文介绍了一种混合型 ASP 求解器 clingcon,它使用 Constraint Programming 中的非布尔约束和 Answer Set Programming 的高性能布尔求解能力,其主要技术创新是通过基于不可约不一致集的学习
→
PDF
12 years ago
MM
ECLiPSe - 从 LP 到 CLP
ECLiPSe 是一款基于 Prolog 的编程系统,旨在开发和部署约束编程应用程序,同时也用于教授组合问题求解的大多数方面,如问题建模、约束编程、数学规划和搜索技术。
PDF
14 years ago
Prev
Next