@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} }