@inproceedings{DBLP:conf/cp/IhalainenBJ025,
  author       = {Hannes Ihalainen and
                  Jeremias Berg and
                  Matti J{\"{a}}rvisalo and
                  Bart Bogaerts},
  editor       = {Maria Garcia de la Banda},
  title        = {Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit
                  Hitting Sets},
  booktitle    = {31st International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2025, August 10-15, 2025, Glasgow, Scotland},
  series       = {LIPIcs},
  volume       = {340},
  pages        = {15:1--15:26},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2025},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2025.15},
  doi          = {10.4230/LIPICS.CP.2025.15},
  timestamp    = {Mon, 18 Aug 2025 15:30:40 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/IhalainenBJ025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}