Zhenbing Zeng, Meijing Shan. Semi-mechanization method for a unsolved optimization problem in combinatorial geometry. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 762-766, ACM, 2007. [doi]
Abstract is missing.