Leo Danisger and Ole Lübke will present the paper “Evaluation of Deep Differentiation Clause Weighting and UnH-Decimation in Local Search for MaxSAT” at the SKILL 2026 Studierendenkonferenz. The conference will take place in Dresden from 23 to 25 September 2026.
