Daniel Le Berre
Daniel Le Berre
CRIL-CNRS Université d'Artois
Verified email at cril.fr - Homepage
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
5532010
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
1832016
The international SAT solver competitions
M Järvisalo, D Le Berre, O Roussel, L Simon
Ai Magazine 33 (1), 89-92, 2012
1452012
Qualitative choice logic
G Brewka, S Benferhat, D Le Berre
Artificial Intelligence 157 (1-2), 203-237, 2004
1342004
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
1072014
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
1012004
Exploiting the real power of unit propagation lookahead
D Le Berre
Electronic Notes in Discrete Mathematics 9, 59-80, 2001
952001
The essentials of the SAT 2003 competition
D Le Berre, L Simon
International Conference on Theory and Applications of Satisfiability …, 2003
872003
The SAT2002 competition
L Simon, D Le Berre, EA Hirsch
Annals of Mathematics and Artificial Intelligence 43 (1-4), 307-342, 2005
682005
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
661999
Fifty-five solvers in Vancouver: The SAT 2004 competition
D Le Berre, L Simon
International Conference on Theory and Applications of Satisfiability …, 2004
632004
Solving Linux upgradeability problems using boolean optimization
J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault
arXiv preprint arXiv:1007.1021, 2010
612010
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
60*2009
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
552003
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
421998
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
391996
Detecting cardinality constraints in CNF
A Biere, D Le Berre, E Lonca, N Manthey
International Conference on Theory and Applications of Satisfiability …, 2014
362014
On SAT technologies for dependency management and beyond
D Le Berre, A Parrain
352008
SAT4J: A satisfiability library for Java
DL Berre
http://www. sat4j. org/, 2006
332006
The system can't perform the operation now. Try again later.
Articles 1–20