@misc{indiciaea3bc6c5fa783,
  title = {MCP-Solver: Integrating Language Models with Constraint Programming Systems},
  author = {Stefan Szeider},
  year = {2025},
  url = {https://arxiv.org/abs/2501.00539},
  note = {Source identifier: 2501.00539}
}