SAT Workshop at the Simons Institute, Berkeley

14 June 2022

Most recent news

(list of all news)

Interview in the Science et Vie Special Issue on AI

(20 October 2025)

I've had the privilege for some time of occasionally answering journalists' questions about the impacts of AI on society, thanks to the Trustworthy AI Chair which has increased the visibility...


AI Act Afternoon by the Trustworthy AI Chair

(06 October 2025)

October 13th: afternoon of presentation and exchanges on the AI Act! **Listen, question and understand the AI Act** - An afternoon of explanations, theoretical insights and applied experience feedback to...


Science & Vie Roundtable — Fête de la Science

(01 October 2025)

On the eve of the official launch of Fête de la Science 2025, and at the offices of the Ministry of Higher Education, I took part in a roundtable organized...


AI Training at Aérocampus

(04 July 2025)

The Aérocampus of Nouvelle Aquitaine is a training center for aeronautical technicians. It's a unique campus where industry plays a major role. Here, airplanes (including a Rafale) and helicopters of...


2025 Agrégation Jury

(23 June 2025)

Since 2022, France has finally established an external computer science agrégation. I remember my own computer science classes in middle school (on PCs with 5"1/4 floppy disks and MO5/TO7 machines)....

I attended the reunion at the Simons Institute, which followed the virtual semester last year. The meeting was in Berkeley (fun to discover SF!). I presented an unpublished work on restarts with many questions and so few answers, as you can read on my main slide for my presentation.

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.

(Last Modified date: 19 October 2022)
(version française)
This page was translated using AI tools (Deepl, GPT, ...)
(list of all news)