Daniel Le Berre

Cituota

	Visi	Nuo 2020
Šaltiniai	3875	1198
h-rodyklė	28	15
i10-rodyklė	52	19

260

130

195

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202511 12 22 17 44 77 105 116 112 94 97 127 173 152 183 169 193 194 202 253 247 232 246 217 234 244 25

Viešas pasiekiamumas

Peržiūrėti viską

8 straipsniai

1 straipsnis

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)Patvirtintas el. paštas labri.fr
Salem benferhatFull professor, CRIL-CNRS UMR 8188, Artois University (France)Patvirtintas el. paštas cril.fr
Matti JärvisaloProfessor of Computer Science, University of HelsinkiPatvirtintas el. paštas helsinki.fi
Martin MonperrusKTH Royal Institute of TechnologyPatvirtintas el. paštas kth.se
Valentin MontmirailResearcher @ Schneider ElectricPatvirtintas el. paštas schneider-electric.com
Jean-Marie LagniezProfessor of Computer Science, CRIL - Artois UniversityPatvirtintas el. paštas cril.fr
Naoyuki TamuraEmeritus Professor of Kobe UniversityPatvirtintas el. paštas kobe-u.ac.jp
Mutsunori BanbaraNagoya UniversityPatvirtintas el. paštas nagoya-u.jp
Takehide SohKobe UniversityPatvirtintas el. paštas lion.kobe-u.ac.jp
Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaPatvirtintas el. paštas tecnico.ulisboa.pt
Régis SabbadinResearch Scientist, in Computer Science, INRAE, FrancePatvirtintas el. paštas inrae.fr
Armando TacchellaProfessor, Information Processing Systems, University of GenoaPatvirtintas el. paštas unige.it
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaPatvirtintas el. paštas icrea.cat
Armin BiereProfessor of Computer Science, University of FreiburgPatvirtintas el. paštas informatik.uni-freiburg.de
helene fargiercnrsPatvirtintas el. paštas irit.fr
Josep ArgelichUniversitat de LleidaPatvirtintas el. paštas udl.cat
Leila AmgoudSenior Researcher at CNRSPatvirtintas el. paštas irit.fr
Gilles AudemardProfessor of Computer Science, CRIL, Université d'ArtoisPatvirtintas el. paštas cril.fr

Stebėti

Daniel Le Berre

CRIL-CNRS Université d'Artois

Patvirtintas el. paštas cril.fr - Pagrindinis puslapis

Artificial Intelligence Boolean reasoning Boolean optimization SAT


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
The Sat4j library, release 2.2 D Le Berre, A Parrain Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 59-64, 2010	821	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	523	2016
The international SAT solver competitions M Järvisalo, D Le Berre, O Roussel, L Simon Ai Magazine 33 (1), 89-92, 2012	230	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	178	2014
Qualitative choice logic G Brewka, S Benferhat, D Le Berre Artificial Intelligence 157 (1-2), 203-237, 2004	160	2004
Exploiting the real power of unit propagation lookahead D Le Berre Electronic Notes in Discrete Mathematics 9, 59-80, 2001	117	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	112	2004
The essentials of the SAT 2003 competition D Le Berre, L Simon International Conference on Theory and Applications of Satisfiability …, 2003	104	2003
The SAT2002 competition L Simon, D Le Berre, EA Hirsch Annals of Mathematics and Artificial Intelligence 43, 307-342, 2005	87	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	80	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	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	65	1999
Detecting cardinality constraints in CNF A Biere, D Le Berre, E Lonca, N Manthey International Conference on Theory and Applications of Satisfiability …, 2014	64	2014
Fifty-five solvers in Vancouver: The SAT 2004 competition D Le Berre, L Simon International Conference on Theory and Applications of Satisfiability …, 2004	64	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	62	2003
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	61	1996
Computing prime implicants D Déharbe, P Fontaine, D Le Berre, B Mazure 2013 Formal Methods in Computer-Aided Design, 46-52, 2013	45	2013
On SAT technologies for dependency management and beyond D Le Berre, A Parrain First Workshop on Software Product Lines (ASPL'08), 197-200, 2008	42	2008
SAT4J: A satisfiability library for Java DL Berre http://www. sat4j. org/, 2006	40	2006
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	40	1998

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai