A Simple and Flexible Way  of Computing Small Unsatifiable Cores in Satisfiability Modulo Theories

Cimatti, A.; Sebastiani, Roberto

A Simple and Flexible Way of Computing Small Unsatifiable Cores in Satisfiability Modulo Theories

A. Cimatti;A. Griggio;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
			
	Luogo di edizione (Place of publication)
	
				Lisbon
			
	Casa editrice (Publisher)
	
				SAT
			
	ISBN
	
				9783540727873
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-38049156294
			
	Tutti gli autori
	
						Cimatti, A.; Griggio, A.; Sebastiani, Roberto
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)