中国科学院数学与系统科学研究院期刊网
A New Method for Searching Cubes and Its Application to 815-Round Trivium
LIU Chen, TIAN Tian, QI Wenfeng
Journal of Systems Science and Complexity . 2023, (5): 2234 -2254 .  DOI: 10.1007/s11424-023-1497-1