Donia Toumi

According to our database, Donia Toumi authored at least 4 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Improving configuration checking for satisfiable random k-SAT instances.

André Abramé, Djamal Habet, Donia Toumi

Ann. Math. Artif. Intell., 2017

2014

A Two-Levels Local Search Algorithm for Random SAT Instances with Long Clauses.

André Abramé, Djamal Habet, Donia Toumi

Proceedings of the STAIRS 2014, 2014

2013

Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers.

Djamal Habet, Donia Toumi

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Local Search Based on Conflict Analysis for the Satisfiability Problem.

Djamal Habet, Donia Toumi

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012