Laurent Simon

2008
18	EE	W. David Holford, Mehran Ebrahimi, Omar Aktouf, Laurent Simon: Viewing Boundary "Objects" as Boundary Constructions. HICSS 2008: 339
2007
17	EE	Gilles Audemard, Laurent Simon: GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. IJCAI 2007: 2256-2261
2006
16	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
15	EE	Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon: SomeWhere in the Semantic Web. SOFSEM 2006: 84-99
14	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)
2005
13	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
12	EE	Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: SomeWhere in the Semantic Web. PPSWR 2005: 1-16
11	EE	Laurent Simon, Daniel Le Berre, Edward A. Hirsch: The SAT2002 competition. Ann. Math. Artif. Intell. 43(1): 307-342 (2005)
10	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
9		Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: Distributed Reasoning in a Peer-to-Peer Setting. ECAI 2004: 945-946
8	EE	Daniel Le Berre, Laurent Simon: Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. SAT (Selected Papers 2004: 321-344
7	EE	Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella: The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
2003
6	EE	Daniel Le Berre, Laurent Simon: The Essentials of the SAT 2003 Competition. SAT 2003: 452-467
5	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
4		Laurent Simon, Alvaro del Val: Efficient Consequence Finding. IJCAI 2001: 359-370
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	[9] [12] [13] [14] [15] [16]
2	Omar Aktouf	[18]
3	Gilles Audemard	[17]
4	Daniel Le Berre	[5] [6] [7] [8] [10] [11]
5	Philippe Chatalic	[1] [2] [3] [9] [12] [13] [14] [15] [16]
6	Mehran Ebrahimi	[18]
7	François Goasdoué	[9] [12] [13] [14] [15] [16]
8	Edward A. Hirsch	[11]
9	W. David Holford	[18]
10	Massimo Narizzano	[7]
11	Paul W. Purdom	[10]
12	Marie-Christine Rousset	[9] [12] [13] [14] [15] [16]
13	Armando Tacchella	[5] [7]
14	Alvaro del Val	[4]

Colors in the list of coauthors