1. Parallel branch-and-bound algorithms;Gabriel Crainic,2006
2. Ambros Gleixner, Leon Eifler, Tristan Gally, Gerald Gamrath, Patrick Gemander, Robert Lion Gottwald, Gregor Hendel, Christopher Hojny, Thorsten Koch, Matthias Miltenberger, et al. The SCIP optimization suite 5.0. Technical Report 17-61, ZIB, Takustr.7, 14195 Berlin, 2017
3. The strong thirteen spheres problem;Musin;Discrete & Computational Geometry,2012
4. The Tammes problem for N=14;Musin;Experimental Mathematics,2015
5. Ioan Raicu, Zhao Zhang, Mike Wilde, Ian Foster, Pete Beckman, Kamil Iskra, and Ben Clifford. Toward loosely coupled programming on petascale systems. In Proceedings of the 2008 ACM/IEEE conference on Supercomputing, page 22. IEEE Press, 2008.