@inproceedings{vanmeerbeeck-et-al-cp2026,
  author       = {Damien {Van Meerbeeck} and Arnaud Lequen and Gilles Pesant and Jendrik
    Seipp},
  title        = {An Automata-Based Constraint Programming Framework for Optimal Classical
    Planning},
  pages        = {55:1--55:18},
  year         = 2026,
  doi          = {10.4230/LIPIcs.CP.2026.55},
  editor       = {Nicolas Beldiceanu},
  booktitle    = {Proceedings of the 32nd International Conference on Principles and
    Practice of Constraint Programming (CP 2026)},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik},
  series       = {LIPIcs},
  volume       = 379,
}