Proof Generation in CDSAT
Maria Paola Bonacina (Universit\`a degli Studi di Verona, Italy)
TL;DR
This paper discusses methods for generating proofs within the CDSAT framework for SMT, aiming to enhance the reliability and transparency of satisfiability solving processes.
Contribution
It introduces approaches to proof generation specifically tailored for the CDSAT framework in SMT solving.
Findings
Developed proof generation techniques for CDSAT
Improved transparency in SMT solving
Enhanced reliability of satisfiability proofs
Abstract
The main ideas in the CDSAT (Conflict-Driven Satisfiability) framework for SMT are summarized, leading to approaches to proof generation in CDSAT.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.