1. Lecture Notes in Computer Science;A. Balint,2011
2. Lecture Notes in Computer Science;A. Balint,2010
3. Biere, A.: Lingeling and Friends at the SAT Competition 2011. Tehnical report 11/1, FMV Reports Series (2011), http://fmv.jku.at/papers/Biere-FMV-TR-11-1.pdf
4. bwGRiD, member of the German D-Grid initiative, funded by the Ministry for Education and Research (Bundesministerium für Bildung und Forschung) and the Ministry for Science, Research and Arts Baden-Württemberg (Ministerium für Wissenschaft, Forschung und Kunst Baden-Württemberg), http://www.bw-grid.de
5. Birattari, M., Yuan, Z., Balaprakash, P., Stützle, T.: F-Race and Iterated F-Race: An Overview. In: Bartz-Beielstein, T., et al. (eds.) Empirical Methods for the Analysis of Optimization Algorithms, pp. 311–336. Springer, Berlin (2010)