2022 XCSP3 比赛的结果在 FLOC 2022 奥运会上揭晓,本文记录了比赛的进程和该约束求解器的相关实现和应用。
Sep, 2022
这篇研究论文总结了第 39 届国际逻辑编程会议(ICLP 2023)在英国伦敦帝国理工学院于 2023 年 7 月 9 日至 7 月 15 日举行的技术交流。涵盖了主会场、博士生学术研讨会、应用与系统 / 演示研讨会、最近发布研究研讨会、一起探讨研讨会、逻辑编程与机器学习、逻辑编程与可解释性、伦理和可信度研究等领域。
Aug, 2023
该论文是第六届 ASPOCP 2013 会议上提交的论文,主要讨论了当前 ASP 技术在理论、求解和应用方面与其他计算范式的交叉和融合的讨论。
Dec, 2013
2018 年 7 月 18 日在英国牛津举行的第 11 届 Answer Set Programming 和其他计算范式研讨会 (ASPOCP) 的会议记录。
Dec, 2018
本文介绍了第三届国际规划竞赛的成果,包括关于竞赛领域、规划师和目标的描述,并对竞赛结果进行了分析。通过统计数据分析,探讨了比较规划师之间的性能、竞赛领域难度的比较、规划师之间关于各个问题难度的相对一致性以及规划师相对扩展到越来越复杂的问题时的效果。最后,对大赛系列的一些未来挑战进行了讨论。
Jun, 2011
此文收集了提交给 CoRe Challenge 2023 的所有求解器和 ISR 实例的描述。
Oct, 2023
本文提出了使用 XML 表示约束网络的新扩展格式,该格式允许我们表示在扩展或内涵中定义的约束,并允许我们引用全局约束,使用该格式可以表示 CSP、QCSP 和 WCSP 问题的任何实例。
Feb, 2009
介绍了 18 种提交到首届国际论证计算模型竞赛(ICCMA'15)的系统描述,展示了当前论证问题抽象计算方法的最新进展。详细竞赛结果及解题器性能信息请见网站。
Oct, 2015
介绍了 sunny-cp2:第一个在多核设置下实现并行 CP 投资组合求解器,它可以动态、协同和同时执行其求解器。它包含最先进的求解器,并提供可用的和可配置的框架,实证结果非常有前途。
Feb, 2015
ICLP 是呈现逻辑编程研究的卓越国际会议,涵盖基础、语言、实现和应用,并欢迎相关范式和合作。
Aug, 2022