摘要：FRAT：一种新的不可满足SAT问题的证明格式及其相关工具链的引入
作者：Seulkee Baek, Mario Carneiro, Marijn J.H. Heule
论文ID：2109.09665
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中