Daniel Le Berre
Daniel Le Berre
CRIL-CNRS Université d'Artois
Verified email at cril.fr - Homepage
TitleCited byYear
The sat4j library, release 2.2, system description
D Le Berre, A Parrain
Journal on Satisfiability, Boolean Modeling and Computation 7, 59-64, 2010
5302010
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
1582016
Qualitative choice logic
G Brewka, S Benferhat, D Le Berre
Artificial Intelligence 157 (1-2), 203-237, 2004
1352004
The international SAT solver competitions
M Järvisalo, D Le Berre, O Roussel, L Simon
Ai Magazine 33 (1), 89-92, 2012
1332012
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
1012014
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
1002004
Exploiting the real power of unit propagation lookahead
D Le Berre
Electronic Notes in Discrete Mathematics 9, 59-80, 2001
932001
The essentials of the SAT 2003 competition
D Le Berre, L Simon
International Conference on Theory and Applications of Satisfiability …, 2003
872003
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
651999
The SAT2002 competition
L Simon, D Le Berre, EA Hirsch
Annals of Mathematics and Artificial Intelligence 43 (1-4), 307-342, 2005
642005
Fifty-five solvers in Vancouver: The SAT 2004 competition
D Le Berre, L Simon
International Conference on Theory and Applications of Satisfiability …, 2004
602004
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
59*2009
Solving linux upgradeability problems using boolean optimization
J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault
arXiv preprint arXiv:1007.1021, 2010
582010
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
542003
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
511996
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
411998
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
371996
SAT4J: A satisfiability library for Java
DL Berre
http://www. sat4j. org/, 2006
352006
Detecting cardinality constraints in CNF
A Biere, D Le Berre, E Lonca, N Manthey
International Conference on Theory and Applications of Satisfiability …, 2014
342014
On SAT technologies for dependency management and beyond
D Le Berre, A Parrain
342008
The system can't perform the operation now. Try again later.
Articles 1–20