TY  - RPRT
TI  - CP-SynC: Multi-Agent Zero-Shot Constraint Modeling in MiniZinc with Synthesized Checkers
AU  - Yuliang Song
AU  - Eldan Cohen
PY  - 2026
UR  - https://arxiv.org/abs/2605.01675
ID  - 2605.01675
ER  -