SAT Competition 2022

15 August 2022

Most recent news

(list of all news)

Interview in "Les Echos Judiciaires"

(01 December 2023)

Les Echos Judiciaires is a regional newspaper that has existed since 1848 and is authorised by the prefect to publish regional legal notices. This makes it a newspaper that is...


Debate on "Will AI kill all artists?"

(12 October 2023)

With the proliferation of so-called ‘generative AI’, many questions are being asked about the replacement of artists by computer systems. This conference-debate, held on 12 October at the Utopia cinema,...


Afterwork of Creation of the Bordeaux AI-Cluster

(11 October 2023)

Since May 2023, I am leading the response of the Bordeaux site to the call for the creation of research and training centers in AI ([France 2030 Call for IA-Cluster](https://anr.fr/fr/france-2030/france2030/call/ia-cluster-poles-de-recherche-et-de-formation-de-rang-mondial-en-intelligence-artificielle-app/))....


Afterwork on AI with AIDEM

(05 October 2023)

Engineering schools have a very rich associative life, and it is with the association [AIDEM](https://www.aidem-asso.fr/), made up of former students of ENSEIRB-MATMECA, that I was able to participate on October...


Vernissage of the Assassin's Creed exhibition by Ubi Soft in Bordeaux

(03 October 2023)

Due to the privileged relationship that LaBRI has with Ubi Soft studio in Bordeaux, and the Kiwi project (now a discontinued project) in which I was able to supervise a...

The SAT competition 2022 is over and it clearly celebrates the tremedeous work of Armin Biere with the excellent C SAT Solver Kissat. With Gilles, we submitted the new version of Glucose, glucose 5.0 that obtained very good results at this competition (but no medals). We are not in the top solvers but the last version of glucose is only our first step to reboot our solver.

(Last Modified date: 09 October 2022)
(version française)
(list of all news)