@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},
  year         = 2026,
  booktitle    = {Proceedings of the 32nd International Conference on Principles and
    Practice of Constraint Programming (CP 2026)},
}