Julian Reisch, Peter Großmann, Natalia Kliewer. Stable Resolving - A Randomized Local Search Heuristic for MaxSAT. In Ute Schmid, Franziska Klügl, Diedrich Wolter, editors, KI 2020: Advances in Artificial Intelligence - 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings. Volume 12325 of Lecture Notes in Computer Science, pages 163-175, Springer, 2020. [doi]
Abstract is missing.