Concepedia

Lakhdar Saïs

LS

Statistics

Publications

30

Citations

1.5K

H-Index

17

Active since

1994

Affiliations

Université d'Artois(Current)

Centre National de la Recherche Scientifique

Centre de Recherche en Informatique

Université Lille Nord de France

Microsoft Research (United Kingdom)

Lakhdar Saïs is an author at Université d'Artois specializing in engineering, knowledge discovery, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningData ScienceKnowledge DiscoveryFormal MethodsCombinatorial OptimizationData MiningSatisfiabilityComputational Complexity

Publications per year

1994–2023

30

Publications

30

Boosting systematic search by weighting constraints

Frédéric Boussemart, Fred Hémery, Christophe Lecoutre et al. · 2004 · 398 citations

Artificial Intelligence, Engineering, Machine Learning +24

ManySAT: a Parallel SAT Solver

Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs · Journal on Satisfiability Boolean Modeling and Computation · 2009 · 308 citations · Full text

Engineering, Manysat Benefits, Automated Reasoning +15

Tabu search for SAT

Bertrand Mazure, Lakhdar Saïs, Éric Grégoire · 1997 · 115 citations

Boosting complete techniques thanks to local search methods

Bertrand Mazure, Lakhdar Saïs, Éric Grégoire · Annals of Mathematics and Artificial Intelligence · 1998 · 95 citations

Tractability through symmetries in propositional calculus

Belaïd Benhamou, Lakhdar Saïs · Journal of Automated Reasoning · 1994 · 57 citations

Engineering, Propositional Calculus, Automated Reasoning +4

1–5 of 30