Proof Generation in CDSAT
arXiv:2107.02351 · doi:10.4204/EPTCS.336.1
Abstract
The main ideas in the CDSAT (Conflict-Driven Satisfiability) framework for SMT are summarized, leading to approaches to proof generation in CDSAT.
In Proceedings PxTP 2021, arXiv:2107.01544