CP-SynC: Modelado de restricciones multiagente zero-shot en MiniZinc con verificadores sintetizados CP-SynC: Método zero-shot para restricciones multiagente con verificadores sintetizados en MiniZinc. Optimiza problemas complejos de forma eficiente. 2026-05-07 · 2 min