@inproceedings{DBLP:conf/aaai/VandesandeCB26,
  author       = {Dieter Vandesande and
                  Jordi Coll and
                  Bart Bogaerts},
  title        = {Certified Branch-and-Bound MaxSAT Solving},
  booktitle    = {Fortieth {AAAI} Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, {AAAI} 2026, Singapore, January 20-27, 2026},
  pages        = {14342--14351},
  year         = {2026},
  crossref     = {DBLP:conf/aaai/2026},
  url          = {https://doi.org/10.1609/aaai.v40i17.38449},
  doi          = {10.1609/AAAI.V40I17.38449},
  timestamp    = {Mon, 30 Mar 2026 17:02:29 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/VandesandeCB26.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aaai/2026,
  editor       = {Sven Koenig and
                  Chad Jenkins and
                  Matthew E. Taylor},
  title        = {Fortieth {AAAI} Conference on Artificial Intelligence, Thirty-Eighth
                  Conference on Innovative Applications of Artificial Intelligence,
                  Sixteenth Symposium on Educational Advances in Artificial Intelligence,
                  {AAAI} 2026, Singapore, January 20-27, 2026},
  publisher    = {{AAAI} Press},
  year         = {2026},
  url          = {https://aaai.org/proceeding/aaai-40-2026/},
  isbn         = {978-1-57735-906-7},
  timestamp    = {Wed, 01 Apr 2026 15:42:20 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2026.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}