Daniel Le Berre
Daniel Le Berre
CRIL-CNRS Université d'Artois
Bestätigte E-Mail-Adresse bei cril.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The Sat4j library, release 2.2
D Le Berre, A Parrain
Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 59-64, 2010
6072010
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
2172016
The international SAT solver competitions
M Järvisalo, D Le Berre, O Roussel, L Simon
Ai Magazine 33 (1), 89-92, 2012
1572012
Qualitative choice logic
G Brewka, S Benferhat, D Le Berre
Artificial Intelligence 157 (1-2), 203-237, 2004
1352004
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
1242014
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
1032004
Exploiting the real power of unit propagation lookahead
D Le Berre
Electronic Notes in Discrete Mathematics 9, 59-80, 2001
1002001
The essentials of the SAT 2003 competition
D Le Berre, L Simon
International Conference on Theory and Applications of Satisfiability …, 2003
892003
The SAT2002 competition
L Simon, D Le Berre, EA Hirsch
Annals of Mathematics and Artificial Intelligence 43 (1-4), 307-342, 2005
692005
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
681999
Solving Linux upgradeability problems using boolean optimization
J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault
arXiv preprint arXiv:1007.1021, 2010
632010
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
632004
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
572003
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
Detecting cardinality constraints in CNF
A Biere, D Le Berre, E Lonca, N Manthey
International Conference on Theory and Applications of Satisfiability …, 2014
462014
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
431998
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
On SAT technologies for dependency management and beyond
D Le Berre, A Parrain
372008
SAT4J: A satisfiability library for Java
DL Berre
http://www. sat4j. org/, 2006
342006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20