| The Sat4j library, release 2.2 D Le Berre, A Parrain Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 59-64, 2010 | 790 | 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 | 471 | 2016 |
| The international SAT solver competitions M Järvisalo, D Le Berre, O Roussel, L Simon Ai Magazine 33 (1), 89-92, 2012 | 224 | 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 | 170 | 2014 |
| Qualitative choice logic G Brewka, S Benferhat, D Le Berre Artificial Intelligence 157 (1-2), 203-237, 2004 | 156 | 2004 |
| Exploiting the real power of unit propagation lookahead D Le Berre Electronic Notes in Discrete Mathematics 9, 59-80, 2001 | 115 | 2001 |
| 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 | 112 | 2004 |
| The essentials of the SAT 2003 competition D Le Berre, L Simon International Conference on Theory and Applications of Satisfiability …, 2003 | 103 | 2003 |
| The SAT2002 competition L Simon, D Le Berre, EA Hirsch Annals of Mathematics and Artificial Intelligence 43, 307-342, 2005 | 83 | 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 | 79 | 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 | 72* | 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 | 65 | 1999 |
| Fifty-five solvers in Vancouver: The SAT 2004 competition D Le Berre, L Simon International Conference on Theory and Applications of Satisfiability …, 2004 | 64 | 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 | 61 | 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 | 61 | 1996 |
| Computing prime implicants D Déharbe, P Fontaine, D Le Berre, B Mazure 2013 Formal Methods in Computer-Aided Design, 46-52, 2013 | 41 | 2013 |
| On SAT technologies for dependency management and beyond D Le Berre, A Parrain First Workshop on Software Product Lines (ASPL'08), 197-200, 2008 | 41 | 2008 |
| 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 | 40 | 1998 |
| SAT4J: A satisfiability library for Java DL Berre http://www. sat4j. org/, 2006 | 39 | 2006 |
Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)在 labri.fr 的电子邮件经过验证
