Satisfiability Modulo Theories / C., Barrett; Sebastiani, Roberto; S., Seshia; C., Tinelli. - STAMPA. - 185:(2009), pp. 825-885. [10.3233/978-1-58603-929-5-825]

Satisfiability Modulo Theories

Sebastiani, Roberto;
2009-01-01

2009
Handbook of Satisfiability
Amsterdam
IOS Press
9781586039295
978-1-60750-376-7
C., Barrett; Sebastiani, Roberto; S., Seshia; C., Tinelli
Satisfiability Modulo Theories / C., Barrett; Sebastiani, Roberto; S., Seshia; C., Tinelli. - STAMPA. - 185:(2009), pp. 825-885. [10.3233/978-1-58603-929-5-825]
File in questo prodotto:
File Dimensione Formato  
p02c12_smt.pdf

Solo gestori archivio

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 748.36 kB
Formato Adobe PDF
748.36 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/11572/78932
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 627
  • ???jsp.display-item.citation.isi??? 505
social impact