@misc{indiciae6469880eb3dd,
  title = {Domain-Independent Dynamic Programming with Constraint Propagation},
  author = {Imko Marijnissen and J. Christopher Beck and Emir Demirović and Ryo Kuroiwa},
  year = {2026},
  doi = {10.1609/icaps.v36i1.42826},
  url = {https://arxiv.org/abs/2603.16648},
  note = {Source identifier: 2603.16648}
}