Daniel Le Berre

	2010
26		Josep Argelich, Daniel Le Berre, Inês Lynce, João P. Marques Silva, Pascal Rapicault: Solving Linux Upgradeability Problems Using Boolean Optimization LoCoCo 2010: 11-22
25		Daniel Le Berre, Anne Parrain: The Sat4j library, release 2.2. JSAT 7(2-3): 59-6 (2010)
	2009
24		Daniel Le Berre, Pierre Marquis, Meltem Öztürk: Aggregating Interval Orders by Propositional Optimization. ADT 2009: 249-260
	2008
23		Daniel Le Berre, Anne Parrain: On SAT Technologies for Dependency Management and Beyond. SPLC (2) 2008: 197-200
	2007
22		Salem Benferhat, Daniel Le Berre, Karima Sedki: Handling Qualitative Preferences Using Normal Form Functions. FLAIRS Conference 2007: 38-43
	2006
21		Salem Benferhat, Daniel Le Berre, Karima Sedki: An Alternative Inference for Qualitative Choice Logic. ECAI 2006: 741-742
20		Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis: Representing Policies for Quantified Boolean Formulae. KR 2006: 286-297
19		Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis: Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. JSAT 1(1): 61-88 (2006)
18		Daniel Le Berre, Laurent Simon: Preface. JSAT 2(1-4): (2006)
	2005
17		Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis: Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. AAAI 2005: 288-293
16		Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe: A Branching Heuristics for Quantified Renamable Horn Formulas. SAT 2005: 393-399
15		Laurent Simon, Daniel Le Berre, Edward A. Hirsch: The SAT2002 competition. Ann. Math. Artif. Intell. 43(1): 307-342 (2005)
14		Paul W. Purdom, Daniel Le Berre, Laurent Simon: A parsimony tree for the SAT2002 competition. Ann. Math. Artif. Intell. 43(1): 343-365 (2005)
	2004
13		Daniel Le Berre, Laurent Simon: Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. SAT (Selected Papers 2004: 321-344
12		Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella: The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
11		Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams: Weakening conflicting information for iterated revision and knowledge integration. Artif. Intell. 153(1-2): 339-371 (2004)
10		Gerhard Brewka, Salem Benferhat, Daniel Le Berre: Qualitative choice logic. Artif. Intell. 157(1-2): 203-237 (2004)
	2003
9		Daniel Le Berre, Laurent Simon: The Essentials of the SAT 2003 Competition. SAT 2003: 452-467
8		Daniel Le Berre, Laurent Simon, Armando Tacchella: Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT 2003: 468-485
	2002
7		Gerhard Brewka, Salem Benferhat, Daniel Le Berre: Qualitative Choice Logic. KR 2002: 158-169
	2001
6		Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams: Weakening Conflicting Information for Iterated Revision and Knowledge Integration. IJCAI 2001: 109-118
5		Daniel Le Berre: Exploiting the real power of unit propagation lookahead. Electronic Notes in Discrete Mathematics 9: 59-80 (2001)
	1999
4		Didier Dubois, Daniel Le Berre, Henri Prade, Régis Sabbadin: Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms. Fundam. Inform. 37(1-2): 1-30 (1999)
	1998
3		Didier Dubois, Daniel Le Berre, Henri Prade, Régis Sabbadin: Logical Representation and Computation of Optimal Decisions in a Qualitative Setting. AAAI/IAAI 1998: 588-593
	1996
2		Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre: Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models. ECAI 1996: 350-354
1		Leila Amgoud, Claudette Cayrol, Daniel Le Berre: Comparing Arguments Using Preference Ordering for Argument-Based Reasoning. ICTAI 1996: 400-403

Coauthor Index

1	Leila Amgoud	[1]
2	Josep Argelich	[26]
3	Salem Benferhat	[6] [7] [10] [11] [21] [22]
4	Gerhard Brewka	[7] [10]
5	Thierry Castell	[2]
6	Claudette Cayrol	[1] [2]
7	Michel Cayrol	[2]
8	Sylvie Coste-Marquis	[16] [17] [19] [20]
9	Didier Dubois	[3] [4]
10	Hélène Fargier	[20]
11	Edward A. Hirsch	[15]
12	Souhila Kaci	[6] [11]
13	Jérôme Lang	[20]
14	Florian Letombe	[16] [17] [19]
15	Inês Lynce	[26]
16	Pierre Marquis	[17] [19] [20] [24]
17	Massimo Narizzano	[12]
18	Meltem Öztürk	[24]
19	Anne Parrain	[23] [25]
20	Henri Prade	[3] [4]
21	Paul W. Purdom	[14]
22	Pascal Rapicault	[26]
23	Régis Sabbadin	[3] [4]
24	Karima Sedki	[21] [22]
25	João P. Marques Silva (João Marques-Silva)	[26]
26	Laurent Simon	[8] [9] [12] [13] [14] [15] [18]
27	Armando Tacchella	[8] [12]
28	Mary-Anne Williams	[6] [11]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page