Local Search Based on Conflict Analysis for the Satisfiability Problem. - Djamal Habet; Donia Toumi (ICTAI, 2012)

Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers. - Djamal Habet; Donia Toumi (CP, 2013)

A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses. - André Abramé; Djamal Habet; Donia Toumi (STAIRS, 2014)

Improving configuration checking for satisfiable random k-SAT instances. - André Abramé; Djamal Habet; Donia Toumi (Ann. Math. Artif. Intell., 2017)