Victoire Triomphale à la SAT Competition 2025
Sous la direction de Chu-Min Li (OCIA), l’équipe a obtenu une victoire éclatante lors de la SAT Competition 2025. Ce succès s’inscrit dans la lignée des médailles d’or remportées en 2009, 2017 et 2022, témoignant ainsi de l’impact significatif des Grands Modèles de Langage (LLM) dans l’optimisation des algorithmes les plus complexes.
Le Problème SAT : Un Défi Fondamental
Le problème de la Satisfiabilité (SAT) est le premier problème à avoir été prouvé NP-complet, le plaçant au cœur de l'informatique théorique, des mathématiques, de l'intelligence artificielle et du génie logiciel.

(Modélisation, Information & Systèmes) fédère des enseignants-chercheurs de l’UPJV en Informatique, Automatique, Robotique et Vision par ordinateur. Les objectifs scientifiques du laboratoire s’inscrivent dans les thématiques des Sciences et techniques de l’information et de la communication (STIC). Les travaux de recherche qui y sont développés trouvent de nombreuses applications : Véhicule, Cybersécurité, Énergie, Robotique, Musique, Patrimoine, Santé...