Zhihui Shan, Qiang Han, Meng Han. Proof of Greatest Number Program and Find. In 8th International Conference on Dependable Systems and Their Applications, DSA 2021, Yinchuan, China, August 5-6, 2021. pages 749-750, IEEE, 2021. [doi]
Abstract is missing.