Concepedia

Lakhdar Saïs

LS

30

Publications

1.5K

Citations

17

H-Index

1994

Active since

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.

ORCID

Top concepts

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

, , +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

, , +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

, , +4

Rows per page

1–5 of 30