Daniel Le Berre
Daniel Le Berre
CRIL-CNRS Université d'Artois
Verified email at - Homepage
Cited by
Cited by
The Sat4j library, release 2.2
D Le Berre, A Parrain
Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 59-64, 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
The international SAT solver competitions
M Järvisalo, D Le Berre, O Roussel, L Simon
Ai Magazine 33 (1), 89-92, 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
Qualitative choice logic
G Brewka, S Benferhat, D Le Berre
Artificial Intelligence 157 (1-2), 203-237, 2004
Exploiting the real power of unit propagation lookahead
D Le Berre
Electronic Notes in Discrete Mathematics 9, 59-80, 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
The essentials of the SAT 2003 competition
D Le Berre, L Simon
International Conference on Theory and Applications of Satisfiability …, 2003
The SAT2002 competition
L Simon, D Le Berre, EA Hirsch
Annals of Mathematics and Artificial Intelligence 43, 307-342, 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
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
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
Fifty-five solvers in Vancouver: The SAT 2004 competition
D Le Berre, L Simon
International Conference on Theory and Applications of Satisfiability …, 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
Detecting cardinality constraints in CNF
A Biere, D Le Berre, E Lonca, N Manthey
International Conference on Theory and Applications of Satisfiability …, 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
On SAT technologies for dependency management and beyond
D Le Berre, A Parrain
First Workshop on Software Product Lines (ASPL'08), 197-200, 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
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
Computing prime implicants
D Déharbe, P Fontaine, D Le Berre, B Mazure
2013 Formal Methods in Computer-Aided Design, 46-52, 2013
The system can't perform the operation now. Try again later.
Articles 1–20