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. A combinatorial problem in geometry;Erdős;Compositio Math.,1935