Concepedia

Lakhdar Saïs

LS

Statistics

Publications

32

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 computing, computer science, and algorithms.

ORCID

Publications per year

1994–2023

32

Publications

32

Boosting systematic search by weighting constraints

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

, , +15

ManySAT: a Parallel SAT Solver

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

, , +7

Tabu search for SAT

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

, , +14

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

, , +6

Tractability through symmetries in propositional calculus

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

, , +5

1–5 of 32