From Scalable SAT to MaxSAT: Massively Parallel Solution Improving Search - Schreiber, Dominik; Jabs, Christoph; Berg, Jeremias (Proceedings of the International Symposium on Combinatorial Search, 2025)