1. Aaron Stump, Geoff Sutcliffe, C.T.: StarExec. https://www.starexec.org/starexec/public/about.jsp (2013)
2. Ahmed, T., Kullmann, O., Snevily, H.S.: On the van der Waerden numbers w(2; 3, t). Discrete Applied Mathematics 174, 27–51 (2014). https://doi.org/10.1016/j.dam.2014.05.007
3. Balint, A.: Engineering stochastic local search for the satisfiability problem. Ph.D. thesis, University of Ulm (2014)
4. Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam, The Netherlands (2009)
5. Biere, A.: YalSAT Yet Another Local Search Solver. http://fmv.jku.at/yalsat/ (2010)