@inproceedings{SchidlerS25,
 author = {Andr{\'{e}} Schidler and
Stefan Szeider},
 booktitle = {28th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2025, August 12-15, 2025, Glasgow, Scotland},
 doi = {10.4230/LIPICS.SAT.2025.26},
 editor = {Jeremias Berg and
Jakob Nordstr{ö}m},
 keywords = {coe, strides},
 pages = {26:1--26:18},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {Analyzing Reformulation Performance in Core-Guided {MaxSAT} Solving},
 url = {https://doi.org/10.4230/LIPIcs.SAT.2025.26},
 volume = {341},
 year = {2025}
}