Shuhao Chen, Menghua Jiang, Yin Chen. SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses. In Philipp Rümmer, Zhilin Wu, editors, Theoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings. Volume 15841 of Lecture Notes in Computer Science, pages 161-176, Springer, 2025. [doi]
Abstract is missing.