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

14 Juin 2022

Nouvelles les plus récentes

(Liste de toutes les brèves)

Glucose est (enfin) sur Github

(17 Mai 2023)

Glucose est enfin (aussi) distribué sur Github. L'idée est tout simplement de permettre les forks officiels depuis les versions de glucose. Nous le distribuions uniquement via des archives et la...


Interview dans Sud-Ouest autour de l'I.A. de confiance

(3 Mai 2023)

L'I.A. est le sujet de nombreux articles de presse depuis quelques mois. L'exposition au grand public d'outils comme chatGPT4 accèlère encore plus le besoin d'explication et de compréhension de ces...


Séjour au Simons Institute (Berkeley)

(17 Avril 2023)

Dans le cadre du programme d'invitation du Simons Institute au sujet de SAT ([SAT Reunion Semester](https://simons.berkeley.edu/programs/extended-reunion-satisfiability)), j'ai eu le plaisir d'être invité sur un séjour long dans ce lieu mythique...


Mise en route du projet CAP-IA

(1 Avril 2023)

Le projet CAP-IA, porté par François Clautiaux (IMB) et l'Université de Bordeaux, accepté en Novembre dernier est enfin lancé. C'est un projet ambitieux dont je porte le volet en lien...


Lancement du projet Européen DIHNAMIC

(20 Mars 2023)

Le projet [Dihnamic](https://www.dihnamic.eu/fr/accueil/) vient d'être lancé très officiellement. C'est un projet européen et régional de grande ampleur dans lequel je suis membre de "l'advisory board". Le projet réunit 13 partenaires....

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