竞赛报告：CHC-COMP-21
计算机科学中的逻辑
2021-09-13 v1 符号计算
摘要
CHC-COMP-21 是第四届约束 Horn 子句求解器竞赛。今年有 7 个求解器参加了竞赛，并在 7 个独立的赛道中针对线性整数算术、线性实数算术、数组和代数数据类型上的问题进行了评估。竞赛于 2021 年 3 月使用 StarExec 计算集群运行。本报告概述了竞赛的设计，解释了竞赛的组织方式，并展示了竞赛结果。
引用
@article{arxiv.2109.04635,
title = {Competition Report: CHC-COMP-21},
author = {Grigory Fedyukovich and Philipp Rümmer},
journal= {arXiv preprint arXiv:2109.04635},
year = {2021}
}
备注
In Proceedings HCVS 2021, arXiv:2109.03988. arXiv admin note: substantial text overlap with arXiv:2008.02939