Kai Hu, Meiqin Wang. Automatic Search for a Variant of Division Property Using Three Subsets. In Mitsuru Matsui, editor, Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings. Volume 11405 of Lecture Notes in Computer Science, pages 412-432, Springer, 2019. [doi]