Folgen
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
8202010
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
5212016
The international SAT solver competitions
M Järvisalo, D Le Berre, O Roussel, L Simon
Ai Magazine 33 (1), 89-92, 2012
2302012
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
1782014
Qualitative choice logic
G Brewka, S Benferhat, D Le Berre
Artificial Intelligence 157 (1-2), 203-237, 2004
1602004
Exploiting the real power of unit propagation lookahead
D Le Berre
Electronic Notes in Discrete Mathematics 9, 59-80, 2001
1172001
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
1122004
The essentials of the SAT 2003 competition
D Le Berre, L Simon
International Conference on Theory and Applications of Satisfiability …, 2003
1042003
The SAT2002 competition
L Simon, D Le Berre, EA Hirsch
Annals of Mathematics and Artificial Intelligence 43, 307-342, 2005
872005
Solving linux upgradeability problems using boolean optimization
J Argelich, DL Berre, I Lynce, J Marques-Silva, P Rapicault
arXiv preprint arXiv:1007.1021, 2010
802010
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
651999
Detecting cardinality constraints in CNF
A Biere, D Le Berre, E Lonca, N Manthey
International Conference on Theory and Applications of Satisfiability …, 2014
642014
Fifty-five solvers in Vancouver: The SAT 2004 competition
D Le Berre, L Simon
International Conference on Theory and Applications of Satisfiability …, 2004
642004
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
622003
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
611996
Computing prime implicants
D Déharbe, P Fontaine, D Le Berre, B Mazure
2013 Formal Methods in Computer-Aided Design, 46-52, 2013
452013
On SAT technologies for dependency management and beyond
D Le Berre, A Parrain
First Workshop on Software Product Lines (ASPL'08), 197-200, 2008
422008
SAT4J: A satisfiability library for Java
DL Berre
http://www. sat4j. org/, 2006
402006
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
401998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20