QBF Gallery：幕后
计算机科学中的逻辑
2016-04-21 v2
摘要
在过去几年中，量化布尔公式(QBF)求解的理论与实践取得了诸多进展。涌现出新型求解器，它们要么成功增强了既有技术，要么实现了新颖的求解范式。已实现强大的预处理器，其调整公式的编码以使其更易求解。用于认证与解提取的框架开始出现，这些框架允许对QBF求解器的结果进行详细解释，并且针对各种应用问题提出了新型QBF编码。为记录这些进展，QBF Gallery于2013年建立。QBF Gallery旨在提供一个评估QBF工具并收集新的、具表达力的基准测试的论坛，这些基准测试可用于记录现状并指出有前景的研究方向。这些基准测试成为在QBF Gallery 2013及后续评估背景下所进行实验的基础。在本文中，我们报告了QBF Gallery的搭建工作。为此，我们进行了大量实验，这不仅使我们能够评估工具的质量，也能评估基准测试的质量。
引用
@article{arxiv.1508.01045,
title = {The QBF Gallery: Behind the Scenes},
author = {Florian Lonsing and Martina Seidl and Allen Van Gelder},
journal= {arXiv preprint arXiv:1508.01045},
year = {2016}
}
备注
preprint of an article to appear in Artificial Intelligence, Elsevier, 2016