1. Ansótegui, C., Malitsky, Y., Samulowitz, H., Sellmann, M., Tierney, K.: Model-based genetic algorithms for algorithm configuration. In: IJCAI 2015, pp. 733–739. IJCAI/AAAI Press, Menlo Park (2015)
2. Lecture Notes in Computer Science;C Ansótegui,2009
3. Babić, D., Hutter, F.: Spear theorem prover. In: SAT 2008: Proceedings of the SAT 2008 Race (2008)
4. Lecture Notes in Computer Science;P Balaprakash,2007
5. Biere, A.: Yet another local search solver and lingeling and friends entering the SAT competition 2014. In: Belov, A., et al. (ed.) Proceedings of SAT Competition 2014. Science Series of Publications B, vol. B-2014-2, pp. 39–40. University of Helsinki (2014)