Concepedia

Bertrand Mazure

BM

11

Publications

450

Citations

11

H-Index

1997

Active since

Affiliations

Université d'Artois(Current)

Centre National de la Recherche Scientifique

Université Lille Nord de France

Bertrand Mazure is an author at Université d'Artois specializing in satisfiability, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsSatisfiabilityComputer ScienceAutomated ReasoningData ScienceFormal VerificationMusicKnowledge CompilationComputational Complexity

Publications per year

1997–2014

11

Publications

11

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

Local-search Extraction of MUSes

Éric Grégoire, Bertrand Mazure, Cédric Piette · Constraints · 2007 · 44 citations

Music, Computational Musicology, Local-search Extraction +2

An Experimentally Efficient Method for (MSS,CoMSS) Partitioning

Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure · Proceedings of the AAAI Conference on Artificial Intelligence · 2014 · 41 citations · Full text

Cluster Computing, Engineering, Boolean Function +24

Using local search to find MSSes and MUSes

Éric Grégoire, Bertrand Mazure, Cédric Piette · European Journal of Operational Research · 2008 · 32 citations

Music, Local Search, Computational Musicology +5

Rows per page

1–5 of 11