This abstract summarizes the QSMA algorithm for satisfiability of arbitrary quantified formulas modulo a complete theory and an assignment to the free variables in the formula. It is the abstract corresponding to an invited talk.

Reasoning about quantifiers in SMT: the QSMA algorithm

Maria Paola Bonacina
2023-01-01

Abstract

This abstract summarizes the QSMA algorithm for satisfiability of arbitrary quantified formulas modulo a complete theory and an assignment to the free variables in the formula. It is the abstract corresponding to an invited talk.
2023
978-3-85448-060-0
satisfiability modulo theories, quantifiers, satisfiability modulo assignment
File in questo prodotto:
File Dimensione Formato  
main.pdf

accesso aperto

Descrizione: Articolo
Tipologia: Documento in Post-print
Licenza: Creative commons
Dimensione 82.14 kB
Formato Adobe PDF
82.14 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/1112817
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact