Compétition SAT 2022

15 Aout 2022

Nouvelles les plus récentes

(Liste de toutes les brèves)

Entretien pour le site Curieux.live!

(24 Décembre 2025)

J'ai pu répondre aux questions de Florence Heimburger du magazine [curieux.live!](https://www.curieux.live/), un site à destination des adolescents curieux de sciences. Le sujet de départ était de comprendre pourquoi il faut...


Séminaire sur les compétitions à Dagstuhl

(29 Octobre 2025)

Cela faisait un certain temps que je n'avais eu le plaisir de retourner au château de Dagstuhl. C'est aussi un retour à de vieilles problématiques sur les [compétitions et évaluations...


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

La compétition SAT 2022 vient de se terminer et… Encore une fois elle célèbre clairement le travail formidable d’Armin Biere avec l’excellent solveur SAT en C Kissat. Avec Gilles, nous avons soumis la nouvelle version de Glucose, glucose 5.0, qui a obtenu de très bons résultats lors de cette compétition (mais pas de médailles). Nous ne sommes pas parmi les meilleurs solveurs, mais la dernière version de glucose (nous l’espérons) n’est que notre premier pas pour relancer notre solveur (mais l’avance de Armin est redoutable).

(Dernière Modification: 6 Octobre 2024 )
(english version)
(liste de toutes les brèves)