The paper "SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability" by Ole Lübke and Jeremias Berg (University of Helsinki) has been accepted at the 31st International Conference on Principles and Practice of Constraint Programming (CP 2025) from 10th to 15th of August in Glasgow, Scotland.
