@conference {DBLP:conf/ssbse/AritoCA12,
	title = {On the Application of {SAT} Solvers to the Test Suite Minimization Problem},
	booktitle = {Search Based Software Engineering - 4th International Symposium, {SSBSE} 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings},
	year = {2012},
	pages = {45{\textendash}59},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-642-33119-0_5},
	url = {http://hdl.handle.net/10630/8192},
	author = {Franco Arito and Francisco Chicano and Enrique Alba},
	editor = {Gordon Fraser and Jerffeson Teixeira de Souza}
}
