Daniel Le Berre

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3864	1188
indeks-h	28	16
indeks-i10	51	19

260

130

195

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202511 12 22 17 45 77 104 119 111 95 97 127 172 151 182 174 188 192 204 248 247 230 239 218 227 246 28

Akses publik

Lihat semua

7 artikel

1 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Laurent SimonProfessor of Computer Science, Bordeaux University, France (since 2013)Email yang diverifikasi di labri.fr
Salem benferhatFull professor, CRIL-CNRS UMR 8188, Artois University (France)Email yang diverifikasi di cril.fr
Matti JärvisaloProfessor of Computer Science, University of HelsinkiEmail yang diverifikasi di helsinki.fi
Martin MonperrusKTH Royal Institute of TechnologyEmail yang diverifikasi di kth.se
Valentin MontmirailResearcher @ Schneider ElectricEmail yang diverifikasi di schneider-electric.com
Jean-Marie LagniezProfessor of Computer Science, CRIL - Artois UniversityEmail yang diverifikasi di cril.fr
Naoyuki TamuraEmeritus Professor of Kobe UniversityEmail yang diverifikasi di kobe-u.ac.jp
Mutsunori BanbaraNagoya UniversityEmail yang diverifikasi di nagoya-u.jp
Takehide SohKobe UniversityEmail yang diverifikasi di lion.kobe-u.ac.jp
Régis SabbadinResearch Scientist, in Computer Science, INRAE, FranceEmail yang diverifikasi di inrae.fr
Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaEmail yang diverifikasi di tecnico.ulisboa.pt
Armando TacchellaProfessor, Information Processing Systems, University of GenoaEmail yang diverifikasi di unige.it
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaEmail yang diverifikasi di icrea.cat
Armin BiereProfessor of Computer Science, University of FreiburgEmail yang diverifikasi di informatik.uni-freiburg.de
helene fargiercnrsEmail yang diverifikasi di irit.fr
Josep ArgelichUniversitat de LleidaEmail yang diverifikasi di udl.cat
Leila AmgoudSenior Researcher at CNRSEmail yang diverifikasi di irit.fr
Gilles AudemardProfessor of Computer Science, CRIL, Université d'ArtoisEmail yang diverifikasi di cril.fr

Ikuti

Daniel Le Berre

CRIL-CNRS Université d'Artois

Email yang diverifikasi di cril.fr - Beranda

Artificial Intelligence Boolean reasoning Boolean optimization SAT


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
The Sat4j library, release 2.2 D Le Berre, A Parrain Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 59-64, 2010	822	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	512	2016
The international SAT solver competitions M Järvisalo, D Le Berre, O Roussel, L Simon Ai Magazine 33 (1), 89-92, 2012	231	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	177	2014
Qualitative choice logic G Brewka, S Benferhat, D Le Berre Artificial Intelligence 157 (1-2), 203-237, 2004	165	2004
Exploiting the real power of unit propagation lookahead D Le Berre Electronic Notes in Discrete Mathematics 9, 59-80, 2001	120	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	111	2004
The essentials of the SAT 2003 competition D Le Berre, L Simon International Conference on Theory and Applications of Satisfiability …, 2003	103	2003
The SAT2002 competition L Simon, D Le Berre, EA Hirsch Annals of Mathematics and Artificial Intelligence 43, 307-342, 2005	88	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	78	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	73*	2009
Fifty-five solvers in Vancouver: The SAT 2004 competition D Le Berre, L Simon International Conference on Theory and Applications of Satisfiability …, 2004	67	2004
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	66	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
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	61	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	44	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
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	42	1996
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	41	1998

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama