From 53275266a89f69bddd116a1e09fffd13115daf5a Mon Sep 17 00:00:00 2001
From: Cyril Pain-Barre <cyril.pain-barre@lis-lab.fr>
Date: Thu, 12 Oct 2023 10:37:22 +0200
Subject: [PATCH] =?UTF-8?q?Update=20seminar.md=20avec=20expos=C3=A9=20de?=
 =?UTF-8?q?=20Shuolin=20LI=20du=2018/10/2023?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 seminar.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/seminar.md b/seminar.md
index de00014..b9ef8cf 100644
--- a/seminar.md
+++ b/seminar.md
@@ -1,5 +1,18 @@
 # Séminaires
 
+### Mercredi 18 octobre 2023 à 15h
+
++ Lieu : Salle de réunion COALA, dans les locaux de l'équipe.
+
++ Oratrice : Shuolin LI (Doctorante, Equipe COALA, LIS)
+
++ Titre : A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers
+
++ Résumé : Bounded Variable Elimination (BVE) is an important Boolean formula simplification technique in which the variable ordering is crucial. We define a new variable ordering based on variable activity, called ESA (variable Elimination Scheduled by Activity), for in-processing BVE in Conflict-Driven Clause Learning (CDCL) SAT solvers, and incorporate it into several state-of-the-art CDCL SAT solvers. Experimental results show that the new ESA ordering consistently makes these solvers solve more instances on the benchmark set including all the 5675 instances used in the Crafted, Application and Main tracks of all SAT Competitions up to 2022. In particular, one of these solvers with ESA, Kissat_MAB_ESA, won the Anniversary track of the SAT Competition 2022. The behaviour of ESA and the reason of its effectiveness are also analyzed.
+
++ Information(s) diverse(s) : exposé en anglais
+
+
 ### Mercredi 4 octobre 2023 à 15h30
 
 + Lieu : Salle de réunion COALA, dans les locaux de l'équipe.
@@ -10,6 +23,8 @@
 
 + Résumé : *À venir*
 
++ Information(s) diverse(s) : exposé en anglais
+
 
 ### Mercredi 14 juin 2023 à 15h
 
-- 
GitLab