Daniel Le Berre - Google Scholar

Cited by

	All	Since 2015
Citations	2726	1216
h-index	23	15
i10-index	45	20

240

120

180

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202011 12 20 15 43 87 91 114 106 94 95 117 171 145 180 165 194 187 203 237 233 160

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 avisto.com
Jean-Marie LagniezCRIL - Artois UniversityVerified email at cril.fr
Martin MonperrusKTH Royal Institute of TechnologyVerified email at csc.kth.se
Matti JärvisaloAssociate Professor, University of HelsinkiVerified email at helsinki.fi
Régis SabbadinResearch Scientist, in Computer Science, INRA, FranceVerified email at inra.fr
Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Joao Marques-SilvaResearch Chair, ANITI, Université Fédérale Toulouse Midi-Pyrénées, FranceVerified email at acm.org
Naoyuki TamuraInformation Science and Technology Center, Kobe 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
Armando TacchellaAssociate Professor, Information Processing Systems, University of GenoaVerified email at unige.it
Armin BiereJohannes Kepler University LinzVerified email at jku.at
Mary-Anne WilliamsDistinguished Professor, University of Technology Sydney; Stanford UniversityVerified email at uts.edu.au
Josep ArgelichUniversitat de LleidaVerified email at diei.udl.cat
Leila AmgoudSenior Researcher at CNRSVerified email at irit.fr
helene fargiercnrsVerified 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	594	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	205	2016
The international SAT solver competitions M Järvisalo, D Le Berre, O Roussel, L Simon Ai Magazine 33 (1), 89-92, 2012	155	2012
Qualitative choice logic G Brewka, S Benferhat, D Le Berre Artificial Intelligence 157 (1-2), 203-237, 2004	134	2004
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	119	2014
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	102	2004
Exploiting the real power of unit propagation lookahead D Le Berre Electronic Notes in Discrete Mathematics 9, 59-80, 2001	100	2001
The essentials of the SAT 2003 competition D Le Berre, L Simon International Conference on Theory and Applications of Satisfiability …, 2003	89	2003
The SAT2002 competition L Simon, D Le Berre, EA Hirsch Annals of Mathematics and Artificial Intelligence 43 (1-4), 307-342, 2005	69	2005
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	66	1999
Solving Linux upgradeability problems using boolean optimization J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault arXiv preprint arXiv:1007.1021, 2010	63	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	63*	2009
Fifty-five solvers in Vancouver: The SAT 2004 competition D Le Berre, L Simon International Conference on Theory and Applications of Satisfiability …, 2004	63	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	56	2003
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	50	1996
Detecting cardinality constraints in CNF A Biere, D Le Berre, E Lonca, N Manthey International Conference on Theory and Applications of Satisfiability …, 2014	45	2014
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	39	1996
On SAT technologies for dependency management and beyond D Le Berre, A Parrain	37	2008
SAT4J: A satisfiability library for Java DL Berre http://www. sat4j. org/, 2006	34	2006

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

Upload PDF

Follow this author

Cited by

Co-authors