Bertrand Mazure
- Artificial Intelligence top 10%
- Computer Networks and Communications top 10%
- Computational Theory and Mathematics top 5%
- Software top 10%
- Industrial and Manufacturing Engineering
- Co-authors
- Éric GrégoireLakhdar SaïsCédric PietteJean-Marie LagniezGilles AudemardKarim TabiaChristophe Lecoutre
- Topics
- Constraint Satisfaction and Optimization (14 papers)Logic, Reasoning, and Knowledge (10 papers)Formal Methods in Verification (8 papers)
- Journals
- SHILAP Revista de lepidopterologíaEuropean Journal of Operational ResearchInformation Sciences
- Partner nations
- FranceAustriaLuxembourg
In The Last Decade
Bertrand Mazure
18 papers receiving 155 citations
Peers
Comparison fields: 5 of 25
- Artificial Intelligence 123
- Computer Networks and Communications 101
- Computational Theory and Mathematics 89
- Software 29
- Industrial and Manufacturing Engineering 23
Countries citing papers authored by Bertrand Mazure
This map shows the geographic impact of Bertrand Mazure's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Bertrand Mazure with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Bertrand Mazure more than expected).
Fields of papers citing papers by Bertrand Mazure
This network shows the impact of papers produced by Bertrand Mazure. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Bertrand Mazure. The network helps show where Bertrand Mazure may publish in the future.
Co-authorship network of co-authors of Bertrand Mazure
This figure shows the co-authorship network connecting the top 25 collaborators of Bertrand Mazure. A scholar is included among the top collaborators of Bertrand Mazure based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Bertrand Mazure. Bertrand Mazure is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 1 | |
| 2 | 0 | |
| 3 | 4 | |
| 4 | 1 | |
| 5 | 2 | |
| 6 | 14 | |
| 7 | 1 | |
| 8 | 0 | |
| 9 | 4 | |
| 10 | 2 | |
| 11 | Integrating Conflict Driven Clause Learning to Local Search | 2 |
| 12 | 14 | |
| 13 | 8 | |
| 14 | Logically-Complete Local Search for Propositional Nonmonotonic Knowledge Bases | 0 |
| 15 | Extracting MUSes | 7 |
| 16 | 5 | |
| 17 | 3 | |
| 18 | 31 | |
| 19 | Tabu search for SAT | 53 |
| 20 | 1 |
About Bertrand Mazure
Bertrand Mazure is a scholar working on Software, Computational Theory and Mathematics and Computer Networks and Communications, having authored 22 papers that have together received 173 indexed citations. Recurring topics across this work include Constraint Satisfaction and Optimization (14 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (8 papers). The work is most often cited by research in Software (29 citations), Computational Theory and Mathematics (89 citations) and Computer Networks and Communications (101 citations). Bertrand Mazure has collaborated with scholars based in France, Austria and Luxembourg. Frequent co-authors include Éric Grégoire, Lakhdar Saïs, Cédric Piette, Jean-Marie Lagniez, Gilles Audemard, Karim Tabia, Christophe Lecoutre, Gilles Audemard and Christophe Lecoutre. Their work appears in journals such as SHILAP Revista de lepidopterología, European Journal of Operational Research and Information Sciences.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.