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