Efficient Satisfiability Modulo Theories via Delayed Theory Combination

Bozzano, M.; Bruttomesso, Roberto; Cimatti, A.; Junttila, T.; Van Rossum, P.; Sebastiani, Roberto

Efficient Satisfiability Modulo Theories via Delayed Theory Combination

M. Bozzano;Bruttomesso, Roberto;A. Cimatti;T. Junttila;P. Van Rossum;S. Ranise;Sebastiani, Roberto

2005-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2005
			
	Titolo del volume (Proceedings title)
	
				Proceedings of the 17th International Conference on Computer Aided Verification
			
	Luogo di edizione (Place of publication)
	
				Berlin; Heidelberg
			
	Casa editrice (Publisher)
	
				Springer
			
	ISBN
	
				3540272313
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-26444487547
			
	Codice WOS (WOS identifier)
	
				WOS:000230755800034
			
	Tutti gli autori
	
						Bozzano, M.; Bruttomesso, Roberto; Cimatti, A.; Junttila, T.; Van Rossum, P.; Ranise, S.; Sebastiani, Roberto
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)