Bertrand Mazure
Author
Alternate names Bertrand Mazure, B. Mazure
Past institutions Université d'Artois, Centre National de la Recherche Scientifique, Centre de Recherche en Informatique, Université Lille Nord de France, Mustansiriyah University +1 more
ORCID: Yes
H-index: 17
I10-index: 22
Works count: 128
Citations count: 922
Tabu search for SAT
1997 · Bertrand Mazure, Lakhdar Saïs, et al. · National Conference on Artificial Intelligence
Untitled
1998 · Bertrand Mazure, Lakhdar Saïs, et al. · Annals of Mathematics and Artificial Intelligence
Recovering and Exploiting Structural Knowledge from CNF Formulas
2002 · Richard Ostrowski, Éric Grégoire, et al. · Lecture notes in computer science