1. A lower bound on the number of colours needed to nicely colour a sphere;Ágoston,2020
2. Two notions of unit distance graphs;Alon;J. Comb. Theory, Ser. A,2014
3. On the glucose SAT solver;Audemard;Int. J. Artif. Intell. Tools,2018
4. Coloring a dodecahedron with four colors;Ballard;Can. Math. Bull.,1971
5. Lingeling, Plingeling and Treengeling entering the SAT Competition 2013;Biere,2013