TY  - RPRT
TI  - The Power of Regular Constraint Propagation (Technical Report)
AU  - Matthew Hague
AU  - Artur Jeż
AU  - Anthony W. Lin
AU  - Oliver Markgraf
AU  - Philipp Rümmer
PY  - 2025
DO  - 10.1145/3763165
UR  - https://arxiv.org/abs/2508.19888
ID  - 2508.19888
ER  -