Posypkin, Mikhail, et al. “USING BOINC DESKTOP GRID TO SOLVE LARGE SCALE SAT PROBLEMS”. Computer Science, vol. 13, no. 1, Feb. 2012, p. 25, https://doi.org/10.7494/csci.2012.13.1.25.