Menghua Jiang 0001, Haokai Gao, Shuhao Chen, Yin Chen. Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting. In Inês Lynce, nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omicini, Mehdi Dastani, editors, ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy - Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025). Volume 413 of Frontiers in Artificial Intelligence and Applications, pages 869-876, IOS Press, 2025. [doi]
Abstract is missing.