Pr. Lakhdar Sais

Cited by

	All	Since 2019
Citations	4823	1222
h-index	33	17
i10-index	90	41

300

150

225

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 20 22 39 53 41 50 43 62 105 126 184 158 170 232 265 286 288 286 239 258 262 262 235 235 217 211 201 123

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

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 bessiereCNRS, University of Montpellier, FranceVerified email at lirmm.fr
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
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), 96-97, 2004	719	2004
ManySAT: a parallel SAT solver Y Hamadi, S Jabbour, L Sais Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 245-262, 2010	484	2010
Tabu search for SAT B Mazure, L Sais, É Grégoire Proceedings of the fourteenth national conference on artificial intelligence …, 1997	234	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	159	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	155	2002
Control-based clause sharing in parallel SAT solving Y Hamadi, S Jabbour, J Sais Autonomous Search, 245-267, 2012	126	2012
Tractability through symmetries in propositional calculus B Benhamou, L Sais Journal of automated reasoning 12, 89-102, 1994	124	1994
Reasoning from last conflict (s) in constraint programming C Lecoutre, L Saïs, S Tabary, V Vidal Artificial Intelligence 173 (18), 1592-1614, 2009	104	2009
Theoretical study of symmetries in propositional calculus and applications B Benhamou, L Sais Automated Deduction—CADE-11: 11th International Conference on Automated …, 1992	99	1992
Vivifying propositional clausal formulae C Piette, Y Hamadi, L Sais ECAI 2008, 525-529, 2008	97	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	94	2011
A generalized framework for conflict analysis G Audemard, L Bordeaux, Y Hamadi, S Jabbour, L Sais International conference on theory and applications of satisfiability …, 2008	93	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	88	2006
Extracting MUCs from constraint networks F Hemery, C Lecoutre, L Sais, F Boussemart ECAI 6, 113-117, 2006	83	2006
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	75	2010
Automatic extraction of functional dependencies É Grégoire, R Ostrowski, B Mazure, L Sais Theory and Applications of Satisfiability Testing: 7th International …, 2005	72	2005
Nogood Recording from Restarts. C Lecoutre, L Sais, S Tabary, V Vidal IJCAI 7, 131-136, 2007	68	2007
A sat-based approach for discovering frequent, closed and maximal patterns in a sequence E Coquery, S Jabbour, L Sais, Y Salhi ECAI 2012, 258-263, 2012	62	2012
Neighborhood-based variable ordering heuristics for the constraint satisfaction problem C Bessiere, A Chmeiss, L Sais Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001	61	2001
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	54	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