@inproceedings{cade/BergBNOV23,
  author       = {Jeremias Berg and
                  Bart Bogaerts and
                  Jakob Nordstr{\"{o}}m and
                  Andy Oertel and
                  Dieter Vandesande},
  title        = {Certified Core-Guided MaxSAT Solving},
  booktitle    = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  pages        = {1--22},
  year         = {2023},
  crossref     = {cade/2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8\_1},
  doi          = {10.1007/978-3-031-38499-8\_1},
}

@proceedings{cade/2023,
  editor       = {Brigitte Pientka and
                  Cesare Tinelli},
  title        = {Automated Deduction - {CADE} 29 - 29th International Conference on
                  Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14132},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38499-8},
  doi          = {10.1007/978-3-031-38499-8},
}