Semi-mechanization method for a unsolved optimization problem in combinatorial geometry.

Zhenbing Zeng, Meijing Shan

Browse the full SAC paper archive.