J. Liang, J. Zhou, and M. Yin, “Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract)”, AAAI, vol. 38, no. 21, pp. 23561–23562, Mar. 2024.