Song, Y., & Cohen, E. (2026). CP-SynC: Multi-Agent Zero-Shot Constraint Modeling in MiniZinc with Synthesized Checkers.
Chicago Style (17th ed.) CitationSong, Yuliang, and Eldan Cohen. CP-SynC: Multi-Agent Zero-Shot Constraint Modeling in MiniZinc with Synthesized Checkers. 2026.
MLA (9th ed.) CitationSong, Yuliang, and Eldan Cohen. CP-SynC: Multi-Agent Zero-Shot Constraint Modeling in MiniZinc with Synthesized Checkers. 2026.
Warning: These citations may not always be 100% accurate.