Liang, J.; Zhou, J.; Yin, M. Enhance Diversified Top-K MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract). AAAI 2024, 38, 23561-23562.