1. Aurell, E., Gordon, U., Kirkpatrick, S.: Comparing beliefs, surveys, and random walks. In: Saul, L.K., Weiss, Y., Bottou, L. (eds.) Advances in Neural Information Processing Systems, vol. 17, pp. 49–56. MIT Press, Cambridge (2004)
2. Balint, A., Belov, A., Heule, M.J., Järvisalo, M.: Generating the uniform random benchmarks for SAT competition 2013. In: Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions, pp. 97–98 (2012)
3. Balint, A., Belov, A., Järvisalo, M., Sinz, C.: SAT challenge 2012 random sat track: Description of benchmark generation. In: Proceedings of SAT Challenge 2012: Solver and Benchmark Descriptions, pp. 72–73 (2012)
4. Balint, A., Fröhlich, A.: Improving stochastic local search for sat with a new probability distribution. In: Proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT’10, pp. 10–15 (2010)
5. Balint, A., Schöning, U.: Probsat. In: Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions, p. 70 (2013)