Ole Lübke from STS will present his paper "SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability" at the 31st International Conference on Principles and Practice of Constraint Programming on August 10-15 2025 in Glasgow, Scotland.
