Nouvelles les plus récentes
Entretien Hebdo Eco à TV7
(20
Février
2025)
Mercredi dernier, j'ai pu répondre aux questions de Stéphanie Lacazze, de Sud Ouest, dans le cadre de l'[hebdo éco](https://www.sudouest.fr/lachainetv7/economie/l-hebdo-eco/) de TV7. C'est une chaîne de TV locale du groupe Sud...
Lancement du Diplôme d'Établissement en IA
(13
Février
2025)
Le diplôme d'établissement "Experts en I.A." vient de prendre corps, tout juste le lendemain du sommet de l'IA à Paris (un temps d'avance !). Cette formation a été proposée grâce...
Page sur la Convention IA
(9
Février
2025)
Après des mois de travaux préliminaires, nous lançons officiellement le recrutement d'étudiants pour la convention citoyenne étudiante qui aura lieu dans les locaux de Bordeaux Métropole le Week End du...
IA dans la Formation Initiale
(30
Janvier
2025)
L’IA et la formation : de l’université au monde professionnel Avec Juliette Mattioli, "Expert Fellow" en IA chez Thalès, nous avons eu le plaisir de présenter, en deux heures, les...
IA & Formations
(24
Janvier
2025)
Dans le cadre d'une série de rencontres et de conférences organisées par France Travail (avec plus de 400 visiteurs au total), dans les locaux de Bordeaux Métropole, j'ai eu le...
Après l’annulation du semestre en présentiel l’année dernière, nous avons pu nous réunir sur une semaine lors de la
“reunion at the Simons Institute”, à Berkeley. L’occasion de découvrir les rues pittoresques de San-Francisco. J’y ai présenté un travail non encore publié sur les redémarrages dans les solveurs SAT et, curieusement, sur l’étendue des éléments que nous ne connaissons pas du tout. Les stratégies actuelles y sont aveugles. Beaucoup de questions et tellement peu de réponses.

Abstract of my presentation: Despite the importance of restart strategies in modern SAT solvers, even simple questions about when to restart and why we should restart is known. For instance, the fact that the Luby restart strategy is still very successful only states that we are blindly firing restarts. A few informed strategies have been proposed but there are no (experimentally stong) explanations of their success. In this presentation, we present a costly but funny experimental study of what restart strategies can and should do to help the search. We will uncover some surprising results.
(Dernière Modification:
19
Octobre
2022
)