CDSAT 中的证明生成
计算机科学中的逻辑
2021-07-07 v1 人工智能
摘要
本文概述了用于 SMT 的 CDSAT(冲突驱动可满足性)框架的主要思想,并由此引出 CDSAT 中证明生成的方法。
引用
@article{arxiv.2107.02351,
title = {Proof Generation in CDSAT},
author = {Maria Paola Bonacina},
journal= {arXiv preprint arXiv:2107.02351},
year = {2021}
}
备注
In Proceedings PxTP 2021, arXiv:2107.01544