A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories

Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto

A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories

Cimatti, Alessandro;Griggio, Alberto;Sebastiani, Roberto

2007-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2007
			
	Titolo del volume (Proceedings title)
	
				Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
			
	Luogo di edizione (Place of publication)
	
				Berlin
			
	Casa editrice (Publisher)
	
				Springer
			
	ISBN
	
				9783540727873
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-38049156294
			
	Codice WOS (WOS identifier)
	
				WOS:000246959400031
			
	Tutti gli autori
	
						Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)