TY  - RPRT
TI  - Generalised Arc Consistency via the Synchronised Product of Finite Automata wrt a Constraint
AU  - Nicolas Beldiceanu
PY  - 2025
UR  - https://arxiv.org/abs/2512.09975
ID  - 2512.09975
ER  -