Descubriendo heurísticas en solucionadores SAT complejos Descubre cómo AutoModSAT usa LLMs para optimizar solucionadores SAT, logrando un 40% de mejora. Una revolución en la búsqueda de heurísticas con IA. 2026-06-16 · 2 min
