@inproceedings{DBLP:conf/aaai/IhalainenVSBBJ26,
  author       = {Hannes Ihalainen and
                  Dieter Vandesande and
                  Andr{\'{e}} Schidler and
                  Jeremias Berg and
                  Bart Bogaerts and
                  Matti J{\"{a}}rvisalo},
  title        = {Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach},
  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        = {14251--14260},
  year         = {2026},
  crossref     = {DBLP:conf/aaai/2026},
  url          = {https://doi.org/10.1609/aaai.v40i17.38439},
  doi          = {10.1609/AAAI.V40I17.38439},
  timestamp    = {Mon, 30 Mar 2026 17:02:29 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/IhalainenVSBBJ26.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:13 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2026.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}