Compétition SAT 2022

15 Aout 2022

Nouvelles les plus récentes

(Liste de toutes les brèves)

Formation à l'I.A. à l'Aérocampus

(4 Juillet 2025)

L'aérocampus de Nouvelle Aquitaine est un centre de formation pour les techniciens de l'aéronautique. C'est un campus à part, où l'industrie y est prépondérante. On y monte et démonte des...


Jury d'agrégation 2025

(23 Juin 2025)

Depuis 2022, la France s'est enfin dotée d'une agrégation externe d'informatique. Je me souviens (au collège) de mes cours d'informatique (sur des PC équipés de disques souples 5"1/4 et des...


L'IA relève t elle encore du numérique ?

(3 Juin 2025)

J'ai eu le plaisir d'ouvrir la journée IA en Nouvelle Aquitaine, organisée par l'IA en Nouvelle Aquitaine. Pour cela, je me suis laissé aller sur des terrains parfois proche de...


Remise des diplômes 2025

(15 Mars 2025)

Samedi dernier, c'était, comme tous les ans, la remise des dipômes des élèves de l'ENSEIRB-MATMECA, dont je suis encore le directeur du département informatique pour quelques mois. C'était donc ma...


Entretien Hebdo Eco à TV7

(20 Février 2025)

Mercredi dernier, j'ai pu répondre aux questions de Stéphanie Lacazze, de Sud Ouest, dans le cadre de l'[hebdo éco](https://www.sudouest.fr/lachainetv7/economie/l-hebdo-eco/) de TV7. C'est une chaîne de TV locale du groupe Sud...

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)