CHC-COMP 2022：竞赛报告
计算机科学中的逻辑
2022-11-23 v1 符号计算
摘要
CHC-COMP 2022是约束 Horn 子句求解器竞赛的第五届。该竞赛于2022年3月举行；结果在2022年4月3日于德国慕尼黑举办的第九届验证与综合 Horn 子句研讨会上展示。本届竞赛有六款求解器参与，并设八个赛道，包含具有线性整数算术、线性实数算术、数组和代数数据类型上约束的线性与非线性子句集合。本报告概述了竞赛运行背后的组织工作：包括竞赛设置的技术细节以及2022届竞赛结果的呈现。
引用
@article{arxiv.2211.12231,
title = {CHC-COMP 2022: Competition Report},
author = {Emanuele De Angelis and Hari Govind V K},
journal= {arXiv preprint arXiv:2211.12231},
year = {2022}
}
备注
In Proceedings HCVS/VPT 2022, arXiv:2211.10675. arXiv admin note: text overlap with arXiv:2109.04635, arXiv:2008.02939 by other authors