IA4 min read
Inteligencia Artificial
El bucle lento que los solucionadores de restricciones finalmente aprendieron a saltar
Investigadores proponen un propagador global para restricciones de diferencia en programación con restricciones, reemplazando el enfoque estándar de propagación por restricción. El método aprovecha los solucionadores de teoría SMT, pero los adapta para la propagación en dominio finito con soporte de explicación, prometiendo una resolución más rápida para problemas de programación de horarios y planificación.
2026-07-30