Pr. Lakhdar Sais

Pr. Lakhdar Sais

Université d'Artois - Arras / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4991159
University of Artois
person_outline Pr. Lakhdar Sais's MOST POPULAR ARTICLES
1-) ManySAT: a parallel SAT solver Journal on Satisfiability, Boolean Modelling and Computation 6 (4), 245-262, 2010
2-) Tabu search for SAT Proceedings of the fourteenth national conference on artificial intelligence …, 1997
3-) Boosting complete techniques thanks to local search methods Annals of mathematics and artificial intelligence 22, 319-331, 1998
4-) Recovering and exploiting structural knowledge from CNF formulas Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002
5-) Recovering and exploiting structural knowledge from CNF formulasR Ostrowski, É Grégoire, B Mazure, L SaisPrinciples and Practice of Constraint Programming-CP 2002: 8th International …, 20021562002