Donia Toumi

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 1

Top Topics

Search Algorithm

Satisfiability Problem

Top Venues

Ann. Math. Artif. Intell.

Publications

André Abramé, Djamal Habet, Donia Toumi
Improving configuration checking for satisfiable random k-SAT instances. Ann. Math. Artif. Intell. 79 (1-3) (2017)
André Abramé, Djamal Habet, Donia Toumi
Improving Configuration Checking for Satisfiable Random k-SAT Instances. ISAIM (2014)
André Abramé, Djamal Habet, Donia Toumi
A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses. STAIRS (2014)
Djamal Habet, Donia Toumi
Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers. CP (2013)
Djamal Habet, Donia Toumi
Local Search Based on Conflict Analysis for the Satisfiability Problem. ICTAI (2012)