Daniel Le Berre

Cited by

	All	Since 2018
Citations	3397	1232
h-index	27	15
i10-index	47	17

260

130

195

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 12 21 18 41 80 107 118 109 100 94 113 171 144 191 168 196 194 209 250 248 236 230 217 51

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)Verified email at labri.fr
Salem benferhatFull professor, CRIL-CNRS UMR 8188, Artois University (France)Verified email at cril.fr
Valentin MontmirailResearcher @ Schneider ElectricVerified email at schneider-electric.com
Jean-Marie LagniezProfessor of Computer Science, CRIL - Artois UniversityVerified email at cril.fr
Martin MonperrusKTH Royal Institute of TechnologyVerified email at kth.se
Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
Naoyuki TamuraKobe UniversityVerified email at kobe-u.ac.jp
Mutsunori BanbaraNagoya UniversityVerified email at nagoya-u.jp
Takehide SohKobe UniversityVerified email at lion.kobe-u.ac.jp
Régis SabbadinResearch Scientist, in Computer Science, INRAE, FranceVerified email at inrae.fr
Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
helene fargiercnrsVerified email at irit.fr
Josep ArgelichUniversitat de LleidaVerified email at udl.cat
Leila AmgoudSenior Researcher at CNRSVerified email at irit.fr
Gilles AudemardProfessor of Computer Science, CRIL, Université d'ArtoisVerified email at cril.fr

Daniel Le Berre

CRIL-CNRS Université d'Artois

Verified email at cril.fr - Homepage

Artificial Intelligence Boolean reasoning Boolean optimization SAT


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Sat4j library, release 2.2 D Le Berre, A Parrain Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 59-64, 2010	744	2010
Nopol: Automatic repair of conditional statement bugs in java programs J Xuan, M Martinez, F Demarco, M Clement, SL Marcote, T Durieux, ... IEEE Transactions on Software Engineering 43 (1), 34-55, 2016	383	2016
The international SAT solver competitions M Järvisalo, D Le Berre, O Roussel, L Simon Ai Magazine 33 (1), 89-92, 2012	206	2012
Automatic repair of buggy if conditions and missing preconditions with smt F DeMarco, J Xuan, D Le Berre, M Monperrus Proceedings of the 6th international workshop on constraints in software …, 2014	162	2014
Qualitative choice logic G Brewka, S Benferhat, D Le Berre Artificial Intelligence 157 (1-2), 203-237, 2004	151	2004
Weakening conflicting information for iterated revision and knowledge integration S Benferhat, S Kaci, D Le Berre, MA Williams Artificial Intelligence 153 (1-2), 339-371, 2004	108	2004
Exploiting the real power of unit propagation lookahead D Le Berre Electronic Notes in Discrete Mathematics 9, 59-80, 2001	107	2001
The essentials of the SAT 2003 competition D Le Berre, L Simon SAT 2919, 452-467, 2003	101	2003
The SAT2002 competition L Simon, D Le Berre, EA Hirsch Annals of Mathematics and Artificial Intelligence 43, 307-342, 2005	80	2005
Solving linux upgradeability problems using boolean optimization J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault arXiv preprint arXiv:1007.1021, 2010	76	2010
Dependency management for the eclipse ecosystem: eclipse p2, metadata and resolution D Le Berre, P Rapicault Proceedings of the 1st international workshop on Open component ecosystems …, 2009	67*	2009
Using possibilistic logic for modeling qualitative decision: ATMS-based algorithms D Dubois, DL Berre, H Prade, R Sabbadin Fundamenta Informaticae 37 (1-2), 1-30, 1999	67	1999
Fifty-five solvers in Vancouver: The SAT 2004 competition D Le Berre, L Simon Theory and Applications of Satisfiability Testing: 7th International …, 2005	66	2005
Challenges in the QBF arena: the SAT’03 evaluation of QBF solvers D Le Berre, L Simon, A Tacchella Theory and Applications of Satisfiability Testing: 6th International …, 2004	62	2004
Detecting cardinality constraints in CNF A Biere, D Le Berre, E Lonca, N Manthey Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014	58	2014
Comparing arguments using preference orderings for argument-based reasoning L Amgoud, C Cayrol, D Le Berre Proceedings Eighth IEEE International Conference on Tools with Artificial …, 1996	55	1996
Logical representation and computation of optimal decisions in a qualitative setting D Dubois, D Le Berre, H Prade, R Sabbadin AAAI/IAAI, 588-593, 1998	43	1998
Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models' T Castell, C Cayrol, M Cayrol, D Le Berre ECAI 96, 350-354, 1996	41	1996
On SAT technologies for dependency management and beyond D Le Berre, A Parrain First Workshop on Software Product Lines (ASPL'08), 197-200, 2008	39	2008
Computing prime implicants D Déharbe, P Fontaine, D Le Berre, B Mazure 2013 Formal Methods in Computer-Aided Design, 46-52, 2013	37	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors