Zhenbing Zeng Meijing Shan Semi-mechanization method for a unsolved optimization problem in combinatorial geometry. 762-766 2007 conf/sac/2007 SAC http://doi.acm.org/10.1145/1244002.1244172 db/conf/sac/sac2007.html#ZengS07