Laurent Simon

2008
22	EE	Gilles Audemard, Laurent Simon: Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. CP 2008: 630-634
21	EE	W. David Holford, Mehran Ebrahimi, Omar Aktouf, Laurent Simon: Viewing Boundary "Objects" as Boundary Constructions. HICSS 2008: 339
20	EE	Vincent Armant, Philippe Dague, Laurent Simon: Distributed Consistency-Based Diagnosis. LPAR 2008: 113-127
2007
19	EE	Gilles Audemard, Laurent Simon: GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. IJCAI 2007: 2256-2261
2006
18	EE	Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon: SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies. OTM Conferences (1) 2006: 698-703
17	EE	Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon: SomeWhere in the Semantic Web. SOFSEM 2006: 84-99
16	EE	Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. J. Artif. Intell. Res. (JAIR) 25: 269-314 (2006)
15	EE	Daniel Le Berre, Laurent Simon: Preface. JSAT 2(1-4): (2006)
2005
14	EE	Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: Scalability Study of Peer-to-Peer Consequence Finding. IJCAI 2005: 351-356
13	EE	Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: SomeWhere in the Semantic Web. PPSWR 2005: 1-16
12	EE	Laurent Simon, Daniel Le Berre, Edward A. Hirsch: The SAT2002 competition. Ann. Math. Artif. Intell. 43(1): 307-342 (2005)
11	EE	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
10		Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: Distributed Reasoning in a Peer-to-Peer Setting. ECAI 2004: 945-946
9	EE	Daniel Le Berre, Laurent Simon: Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. SAT (Selected Papers 2004: 321-344
8	EE	Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella: The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
2003
7	EE	Daniel Le Berre, Laurent Simon: The Essentials of the SAT 2003 Competition. SAT 2003: 452-467
6	EE	Daniel Le Berre, Laurent Simon, Armando Tacchella: Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT 2003: 468-485
2001
5		Laurent Simon, Alvaro del Val: Efficient Consequence Finding. IJCAI 2001: 359-370
4	EE	Laurent Simon, Philippe Chatalic: SatEx: A Web-based Framework for SAT Experimentation. Electronic Notes in Discrete Mathematics 9: 129-149 (2001)
3		Philippe Chatalic, Laurent Simon: Multiresolution for SAT Checking. International Journal on Artificial Intelligence Tools 10(4): 451-481 (2001)
2000
2		Philippe Chatalic, Laurent Simon: ZRES: The Old Davis-Putman Procedure Meets ZBDD. CADE 2000: 449-454
1	EE	Philippe Chatalic, Laurent Simon: Multi-resolution on compressed sets of clauses. ICTAI 2000: 2-10

Coauthor Index

1	Philippe Adjiman	[10] [13] [14] [16] [17] [18]
2	Omar Aktouf	[21]
3	Vincent Armant	[20]
4	Gilles Audemard	[19] [22]
5	Daniel Le Berre	[6] [7] [8] [9] [11] [12] [15]
6	Philippe Chatalic	[1] [2] [3] [4] [10] [13] [14] [16] [17] [18]
7	Philippe Dague	[20]
8	Mehran Ebrahimi	[21]
9	François Goasdoué	[10] [13] [14] [16] [17] [18]
10	Edward A. Hirsch	[12]
11	W. David Holford	[21]
12	Massimo Narizzano	[8]
13	Paul W. Purdom	[11]
14	Marie-Christine Rousset	[10] [13] [14] [16] [17] [18]
15	Armando Tacchella	[6] [8]
16	Alvaro del Val	[5]

Colors in the list of coauthors