@inproceedings{fritzsche-et-al-aaai2026b,
  author       = {Markus Fritzsche and Daniel Gnad and Mikhail Gruntov and Alexander
    Shleyfman},
  title        = {Managing Infinite Abstractions in Numeric Pattern Database Heuristics},
  editor       = {Chad Jenkins and Matthew Taylor},
  booktitle    = {Proceedings of the Fortieth {AAAI} Conference on Artificial Intelligence
    ({AAAI} 2026)},
  publisher    = {{AAAI} Press},
  year         = 2026,
}