Séminaire SAT Workshop à l'institut Simons, Berkeley

14 Juin 2022

Nouvelles les plus récentes

(Liste de toutes les brèves)

Entretien dans le Hors Série Science et Vie sur l'IA

(20 Octobre 2025)

Cela fait déjà quelques temps que j'ai le privilège de répondre, parfois, aux questions de journalistes au sujet des impacts de l'IA sur la société, grâce à la chaire IA...


Après Midi IA-ACT de la Chaire IA Digne de Confiance

(6 Octobre 2025)

Le 13 Octobre : après-midi de présentation et d'échanges sur l'IA Act ! **Écouter, questionner et comprendre l'IA-Act** - Un après-midi d'explications, d'éclairages théoriques et de retours d’expériences appliqués pour...


Table Ronde Science & Vie - Fête de la Science

(1 Octobre 2025)

La veille du lancement officiel de la fête de la science 2025, et dans les locaux du Ministère de l'Enseignement Supérieur, j'ai pu participer à un table ronde organisée par...


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...

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.

Front slide of my presentation

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 )
(english version)
(liste de toutes les brèves)