Daniel Le Berre

Cited by

	All	Since 2018
Citations	3563	1391
h-index	27	16
i10-index	48	22

260

130

195

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 12 23 15 44 80 101 115 113 91 94 120 172 152 189 168 197 195 206 251 251 236 238 213 201

Public access

View all

8 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
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, Instituto Superior Técnico (IST), Universidade de LisboaVerified email at tecnico.ulisboa.pt
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
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
Mary-Anne WilliamsProfessor, University of NSW; Stanford UniversityVerified email at unsw.edu.au
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	776	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	428	2016
The international SAT solver competitions M Järvisalo, D Le Berre, O Roussel, L Simon Ai Magazine 33 (1), 89-92, 2012	212	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	172	2014
Qualitative choice logic G Brewka, S Benferhat, D Le Berre Artificial Intelligence 157 (1-2), 203-237, 2004	157	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	111	2004
Exploiting the real power of unit propagation lookahead D Le Berre Electronic Notes in Discrete Mathematics 9, 59-80, 2001	109	2001
The essentials of the SAT 2003 competition D Le Berre, L Simon International Conference on Theory and Applications of Satisfiability …, 2003	102	2003
The SAT2002 competition L Simon, D Le Berre, EA Hirsch Annals of Mathematics and Artificial Intelligence 43, 307-342, 2005	84	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	78	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	68*	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	68	1999
Fifty-five solvers in Vancouver: The SAT 2004 competition D Le Berre, L Simon International Conference on Theory and Applications of Satisfiability …, 2004	65	2004
Challenges in the QBF arena: the SAT’03 evaluation of QBF solvers D Le Berre, L Simon, A Tacchella International Conference on Theory and Applications of Satisfiability …, 2003	62	2003
Detecting cardinality constraints in CNF A Biere, D Le Berre, E Lonca, N Manthey International Conference on Theory and Applications of Satisfiability …, 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	58	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
On SAT technologies for dependency management and beyond D Le Berre, A Parrain First Workshop on Software Product Lines (ASPL'08), 197-200, 2008	40	2008
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	40	1996
Computing prime implicants D Déharbe, P Fontaine, D Le Berre, B Mazure 2013 Formal Methods in Computer-Aided Design, 46-52, 2013	39	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