ACE,通用约束求解器
本研究提出了约束应答集编程 Constraint Answer Set Programming (CASP)新研究领域,开发相应的 EZCSP 语言及其解释器并对其进行了系统性的研究,其设计和算法细节清晰地证明了这种混合系统的发展具有挑战性。在此基础上,展开了基于 EZCSP 的案例研究,重点关注其提供的各种集成方式。
Feb, 2017
本文提出了 Constraint answer set programming 技术的概述,重点介绍了整合法和翻译法两种设计 Constraint answer set 求解器的方法,并提供了一个基于该技术的 Traveling Salesman Problem 的编码实例。
Jul, 2021
本文介绍了一种混合型 ASP 求解器 clingcon,它使用 Constraint Programming 中的非布尔约束和 Answer Set Programming 的高性能布尔求解能力,其主要技术创新是通过基于不可约不一致集的学习技术改进 ASP 和 CP 求解器之间的交互,实现全局约束和优化语句支持,广泛的实证评估表明这些技术提高了一个数量级的性能。
Oct, 2012
本文提出了用于扩展 ASP 的带限制的顶部 - 向下执行模型 s(CASP), 它可以在执行期间保留逻辑变量,并在答案集中应用约束,与 ASP、CLP 和其他 CASP 系统相比具有更出色的表达能力和性能。
Apr, 2018
本文提出了一种新的基于约束应答集规划的 PDDL + 计划方法,在将 PDDL + 模型编码为 CASP 问题的基础上,处理混合离散 - 连续动力学领域,这是将 PDDL + 计划和逻辑编程联系起来的首次尝试,并以 EZCSP CASP 求解器为案例研究,在一组 PDDL + 基准问题上获得了有希望的结果。
Aug, 2016
ECLiPSe 是一款基于 Prolog 的编程系统,旨在开发和部署约束编程应用程序,同时也用于教授组合问题求解的大多数方面,如问题建模、约束编程、数学规划和搜索技术。
Dec, 2010
本文提出了一个基于自适应约束分区的优化框架,旨在解决解决大规模整数规划问题时可能会陷入局部最优解的问题。与现有的大邻域搜索算法相比,该框架可以更高效地利用任何现有优化求解器作为子例程来优化决策变量。实验结果表明,该框架在规定的墙钟时间内显示出比 SCIP 和 Gurobi 更好的性能。
Nov, 2022
论文介绍了 CASP 扩展 ASP 的功能,能够处理规则中的数字约束。PDDL + 是用于模拟离散和连续混合动力学的自动计划 PDDL 标准语言的扩展。研究人员提出了 CASP 解决方案,以解决来自 PDDL + 领域的 CASP 程序,并在知名的 PDDL + 领域的线性和非线性变体上进行了实验分析,表明他们的解决方案可行。
Apr, 2017