1. Glucose 2.3 in the SAT 2013 competition;Audemard,2013
2. Proceedings of SAT competition 2013; Solver and benchmark descriptions,2013
3. Crossing numbers and combinatorial characterization of monotone drawings of Kn;Balko;Discrete Comput. Geom.,2015
4. M. Balko, P. Valtr, A SAT attack on the Erdős–Szekeres conjecture: supplementary data, http://kam.mff.cuni.cz/~balko/ES_SAT.
5. Forced convex n-gons in the plane;Chung;Discrete Comput. Geom.,1998