@inproceedings{SchidlerSzeider24a,
 author = {Andr\'{e} Schidler and Stefan Szeider},
 booktitle = {The 30th International Conference on Principles and
Practice of Constraint Programming, CP 2024},
 editor = {Paul Shaw},
 keywords = {strides},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {Structure-guided Local Improvement for Maximum Satisfiability},
 year = {2024}
}