Satisfiability Modulo Theories

Barrett, C.; Sebastiani, Roberto; Seshia, S.; Tinelli, C.

doi:10.3233/978-1-58603-929-5-825

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

C. Barrett;Sebastiani, Roberto;S. Seshia;C. Tinelli

2009-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2009
			
	Titolo del libro (Book title)
	
				Handbook of Satisfiability
			
	Luogo di edizione (Place of publication)
	
				Amsterdam
			
	Casa editrice (Publisher)
	
				IOS Press
			
	ISBN
	
				9781586039295
978-1-60750-376-7
			
	Tutti gli autori
	
						C., Barrett; Sebastiani, Roberto; S., Seshia; C., Tinelli
					
	Citazione
	
				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]
			
	Appare nelle tipologie:
	
				02.1 Saggio su volume miscellaneo o Capitolo di libro (Essay or Book Chapter)

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 Visualizza/Apri	748.36 kB	Adobe PDF	Visualizza/Apri