DRAT 格式与 DRAT-trim 检查器
计算机科学中的逻辑
2016-10-21 v1
摘要
本文档描述了用于子句证明的 DRAT 格式以及 DRAT-trim 证明检查器。
引用
@article{arxiv.1610.06229,
title = {The DRAT format and DRAT-trim checker},
author = {Marijn J. H. Heule},
journal= {arXiv preprint arXiv:1610.06229},
year = {2016}
}