Proof Generation in CDSAT

International Workshop on Proof Exchange for Theorem Proving Pub Date : 2021-07-06 DOI:10.4204/EPTCS.336.1

M. P. Bonacina

引用次数: 0

Abstract

The main ideas in the CDSAT (Conflict-Driven Satisfiability) framework for SMT are summarized, leading to approaches to proof generation in CDSAT.

查看原文本刊更多论文

CDSAT的证明生成

总结了CDSAT(冲突驱动的可满足性)SMT框架的主要思想，并给出了CDSAT中证明生成的方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

自引率

0.00%

发文量