热点
"MiniZinc" 相关文章
Global Constraint LLM Agents for Text-to-Model Translation
cs.AI updates on arXiv.org 2025-09-12T04:18:57.000000Z
Solver-Aided Expansion of Loops to Avoid Generate-and-Test
cs.AI updates on arXiv.org 2025-08-13T04:14:48.000000Z