TY  - RPRT
TI  - MCP-Solver: Integrating Language Models with Constraint Programming Systems
AU  - Stefan Szeider
PY  - 2025
UR  - https://arxiv.org/abs/2501.00539
ID  - 2501.00539
ER  -