Pr. Lakhdar Sais

Cited by

	All	Since 2018
Citations	4571	1206
h-index	31	18
i10-index	86	39

300

150

225

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202313 20 29 34 61 38 48 41 67 108 130 182 158 169 236 270 282 296 285 236 270 266 260 235 238 212 213 48

Co-authors

Bertrand MazureProfesseur des Universités, Université d'ArtoisVerified email at cril.univ-artois.fr
yakoub salhiProfessor, Université d'Artois, CRIL - CNRSVerified email at cril.fr
Christophe LecoutreProfessor of Computer Science, CRIL, University of ArtoisVerified email at cril.fr
Gilles AudemardProfessor of Computer Science, CRIL, Université d'ArtoisVerified email at cril.fr
Badran RaddaouiTélécom SudParis, Institut Polytechnique de ParisVerified email at cril.fr
Vincent VidalResearch Scientist, OneraVerified email at onera.fr
Jean-Marie LagniezProfessor of Computer Science, CRIL - Artois UniversityVerified email at cril.fr
Cédric PietteUniversité d'Artois - CNRSVerified email at cril.fr
Jerry LonlacAssociate Professor, IMT Nord Europe, University of LIile, Centre for Digital SystemsVerified email at imt-nord-europe.fr
christian bessiereCNRSVerified email at lirmm.fr
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Kahina BouchamaUnité de Recherche LaMOS, Université de BejaiaVerified email at univ-bejaia.dz
Mehdi KhiariHead of R&D, Ph.D, Zero To One TechnologyVerified email at zto-technology.com
Julien VionLAMIH UMR CNRS 8201, Univ. Polytechnique Hauts de FranceVerified email at uphf.fr
Daniel Le BerreCRIL-CNRS Université d'ArtoisVerified email at cril.fr
Takeaki UnoNational Institute of Informatics, JapanVerified email at nii.jp
Jean-Marc PetitProfessor of Computer Science, INSA Lyon, Université de LyonVerified email at insa-lyon.fr
Lhouari NourineUniversity Clermont AuvergneVerified email at isima.fr

Pr. Lakhdar Sais

CRIL - CNRS, Université d'Artois

Verified email at cril.fr - Homepage

Artificial Intelligence Constraint Reasoning Propositional Satisfiability Data Mining


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Boosting systematic search by weighting constraints F Boussemart, F Hemery, C Lecoutre, L Sais ECAI 16, 146, 2004	688	2004
ManySAT: a parallel SAT solver Y Hamadi, S Jabbour, L Sais Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 245-262, 2010	454	2010
Tabu search for SAT B Mazure, L Sais, É Grégoire AAAI/IAAI, 281-285, 1997	232	1997
Boosting complete techniques thanks to local search methods B Mazure, L Sais, É Grégoire Annals of mathematics and artificial intelligence 22, 319-331, 1998	156	1998
Recovering and exploiting structural knowledge from CNF formulas R Ostrowski, É Grégoire, B Mazure, L Sais Principles and Practice of Constraint Programming-CP 2002: 8th International …, 2002	144	2002
Tractability through symmetries in propositional calculus B Benhamou, L Sais Journal of automated reasoning 12, 89-102, 1994	122	1994
Control-based clause sharing in parallel SAT solving Y Hamadi, S Jabbour, J Sais Autonomous Search, 245-267, 2012	116	2012
Reasoning from last conflict (s) in constraint programming C Lecoutre, L Saïs, S Tabary, V Vidal Artificial Intelligence 173 (18), 1592-1614, 2009	101	2009
Theoretical study of symmetries in propositional calculus and applications B Benhamou, L Sais Automated Deduction—CADE-11: 11th International Conference on Automated …, 1992	100	1992
A generalized framework for conflict analysis G Audemard, L Bordeaux, Y Hamadi, S Jabbour, L Sais Theory and Applications of Satisfiability Testing–SAT 2008: 11th …, 2008	89	2008
On freezing and reactivating learnt clauses G Audemard, JM Lagniez, B Mazure, L Sais Theory and Applications of Satisfiability Testing-SAT 2011: 14th …, 2011	87	2011
Vivifying propositional clausal formulae C Piette, Y Hamadi, L Sais ECAI 2008, 525-529, 2008	87	2008
Recording and minimizing nogoods from restarts C Lecoutre, L Sais, S Tabary, V Vidal Journal on Satisfiability, Boolean Modeling and Computation 1 (3-4), 147-167, 2006	81	2006
Extracting MUCs from constraint networks F Hemery, C Lecoutre, L Sais, F Boussemart ECAI 6, 113-117, 2006	78	2006
Automatic extraction of functional dependencies É Grégoire, R Ostrowski, B Mazure, L Sais Theory and Applications of Satisfiability Testing: 7th International …, 2005	69	2005
Diversification and intensification in parallel SAT solving L Guo, Y Hamadi, S Jabbour, L Sais Principles and Practice of Constraint Programming–CP 2010: 16th …, 2010	67	2010
Neighborhood-based variable ordering heuristics for the constraint satisfaction problem C Bessiere, A Chmeiss, L Sais CP 1, 565-569, 2001	67	2001
Nogood Recording from Restarts. C Lecoutre, L Sais, S Tabary, V Vidal IJCAI 7, 131-136, 2007	65	2007
A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence. E Coquery, S Jabbour, L Sais, Y Salhi ECAI 242, 258-263, 2012	61	2012
Two proof procedures for a cardinality based language in propositional calculus B Benhamou, L Sais, P Siegel STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science …, 1994	51	1994

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors