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

Proof Generation in CDSAT

Bonacina, Maria Paola
2021

Abstract

The main ideas in the CDSAT (Conflict-Driven Satisfiability) framework for SMT are summarized, leading to approaches to proof generation in CDSAT.
Conflict-driven satisfiability; Satisfiability modulo theories; Satisfiability modulo assignments; Proof generation; Proof reconstruction
File in questo prodotto:
File Dimensione Formato  
PxTP2021.1.pdf

accesso aperto

Descrizione: Articolo principale
Tipologia: Versione dell'editore
Licenza: Creative commons
Dimensione 82.76 kB
Formato Adobe PDF
82.76 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/1046003
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact