竞赛报告：CHC-COMP-20
计算机科学中的逻辑
2020-08-10 v1 符号计算
摘要
CHC-COMP-20 是第三届约束 Horn 子句求解器竞赛。今年，9 个求解器参加了竞赛，并在线性整数算术、线性实数算术和数组问题的四个独立赛道上进行了评测。竞赛于 2020 年 5 月第一周使用 StarExec 计算集群运行。本报告概述了竞赛设计，说明了竞赛的组织工作，并展示了竞赛结果。
引用
@article{arxiv.2008.02939,
title = {Competition Report: CHC-COMP-20},
author = {Philipp Rümmer},
journal= {arXiv preprint arXiv:2008.02939},
year = {2020}
}
备注
In Proceedings VPT/HCVS 2020, arXiv:2008.02483