Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT

Griggio, Alberto; Q. S. Phan; Tomasi, Silvia; Sebastiani, Roberto

doi:10.1007/978-3-642-24364-6_12

Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT

Griggio, Alberto;Q. S. Phan;Tomasi, Silvia;Sebastiani, Roberto

2011-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2011
			
	Titolo del volume (Proceedings title)
	
				In proc. FroCoS 2011 - 8th International Symposium on Frontiers of Combining Systems
			
	Luogo di edizione (Place of publication)
	
				BERLIN
			
	Casa editrice (Publisher)
	
				SPRINGER
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-80054037426
			
	Tutti gli autori
	
						Griggio, Alberto; Q. S., Phan; Tomasi, Silvia; Sebastiani, Roberto