Nouvelles les plus récentes
Formation à l'I.A. à l'Aérocampus
(4
Juillet
2025)
L'aérocampus de Nouvelle Aquitaine est un centre de formation pour les techniciens de l'aéronautique. C'est un campus à part, où l'industrie y est prépondérante. On y monte et démonte des...
Jury d'agrégation 2025
(23
Juin
2025)
Depuis 2022, la France s'est enfin dotée d'une agrégation externe d'informatique. Je me souviens (au collège) de mes cours d'informatique (sur des PC équipés de disques souples 5"1/4 et des...
L'IA relève t elle encore du numérique ?
(3
Juin
2025)
J'ai eu le plaisir d'ouvrir la journée IA en Nouvelle Aquitaine, organisée par l'IA en Nouvelle Aquitaine. Pour cela, je me suis laissé aller sur des terrains parfois proche de...
Remise des diplômes 2025
(15
Mars
2025)
Samedi dernier, c'était, comme tous les ans, la remise des dipômes des élèves de l'ENSEIRB-MATMECA, dont je suis encore le directeur du département informatique pour quelques mois. C'était donc ma...
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...
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
)