SAT Workshop at the Simons Institute, Berkeley

14 June 2022

Most recent news

(list of all news)

Glucose is (finally) on Github

(17 May 2023)

Glucose is finally (also) distributed on Github. The idea is simply to allow official forks from Glucose versions. We used to distribute it only via the archives and the [official...


Interview in the Regional Newspaper "Sud-Ouest" about Trustworthy AI

(03 May 2023)

A.I. has been the subject of many, many press articles in recent months. The exposure of tools such as chatGPT4 to the general public accelerates even more the need for...


Invitation to the Simons Institute (Berkeley)

(17 April 2023)

As part of the Simons Institute's SAT Program ([SAT Reunion Semester](https://simons.berkeley.edu/programs/extended-reunion-satisfiability)), I had the pleasure of being invited for a long stay in this famous research place about theoretical computer...


Lauch of the DIHNAMIC European Project

(20 March 2023)

The [Dihnamic](https://www.dihnamic.eu/) project has just been launched very officially. It is a large-scale European and regional project in which I act as a member of the advisory board. The project...


Dataquitaine 2023

(02 March 2023)

The sixth "Dataquitaine" (a regional scientific event organized in Nouvelle-Aquitaine) days were held on Thursday 2 March 2023 at [Kedge Business School](https://kedge.edu/l-ecole/les-campus/bordeaux), organised by [Digital Aquitaine](https://www.digital-aquitaine.com/) and especially the [Domex...

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)
(list of all news)