@misc{indiciae92a5cfd0f59c,
  title = {GPU Accelerated Compact-Table Propagation},
  author = {Enrico Santi and Fabio Tardivo and Agostino Dovier and Andrea Formisano},
  year = {2025},
  doi = {10.1017/s1471068425100197},
  url = {https://arxiv.org/abs/2507.18413},
  note = {Source identifier: 2507.18413}
}