Laurent Simon Vis

*	2009
25	EE	Gilles Audemard, Laurent Simon: Predicting Learnt Clauses Quality in Modern SAT Solvers. IJCAI 2009: 399-404
	2008
24	EE	Gilles Audemard, Laurent Simon: Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. CP 2008: 630-634
23	EE	W. David Holford, Mehran Ebrahimi, Omar Aktouf, Laurent Simon: Viewing Boundary "Objects" as Boundary Constructions. HICSS 2008: 339
22	EE	Vincent Armant, Philippe Dague, Laurent Simon: Distributed Consistency-Based Diagnosis. LPAR 2008: 113-127
	2007
21	EE	Gilles Audemard, Laurent Simon: GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. IJCAI 2007: 2256-2261
20	EE	Amit Goyal, Shailaja Mandapuram, Bozena Michniak, Laurent Simon: Application of orthogonal collocation and regression techniques for recovering parameters of a two-pathway transdermal drug-delivery model. Computers & Chemical Engineering 31(3): 107-120 (2007)
	2006
19	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
18	EE	Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon: SomeWhere in the Semantic Web. SOFSEM 2006: 84-99
17	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)
16	EE	Daniel Le Berre, Laurent Simon: Preface. JSAT 2(1-4): (2006)
	2005
15	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
14	EE	Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: SomeWhere in the Semantic Web. PPSWR 2005: 1-16
13	EE	Laurent Simon, Daniel Le Berre, Edward A. Hirsch: The SAT2002 competition. Ann. Math. Artif. Intell. 43(1): 307-342 (2005)
12	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
11		Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: Distributed Reasoning in a Peer-to-Peer Setting. ECAI 2004: 945-946
10	EE	Daniel Le Berre, Laurent Simon: Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. SAT (Selected Papers 2004: 321-344
9	EE	Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella: The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392
8	EE	Laurent Simon, Maria Fernandes: Neural network-based prediction and optimization of estradiol release from ethylene-vinyl acetate membranes. Computers & Chemical Engineering 28(11): 2407-2419 (2004)
	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	EE	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	[11] [14] [15] [17] [18] [19]
2	Omar Aktouf	[23]
3	Vincent Armant	[22]
4	Gilles Audemard	[21] [24] [25]
5	Daniel Le Berre	[6] [7] [9] [10] [12] [13] [16]
6	Philippe Chatalic	[1] [2] [3] [4] [11] [14] [15] [17] [18] [19]
7	Philippe Dague	[22]
8	Mehran Ebrahimi	[23]
9	Maria Fernandes	[8]
10	François Goasdoué	[11] [14] [15] [17] [18] [19]
11	Amit Goyal	[20]
12	Edward A. Hirsch	[13]
13	W. David Holford	[23]
14	Shailaja Mandapuram	[20]
15	Bozena Michniak	[20]
16	Massimo Narizzano	[9]
17	Paul W. Purdom	[12]
18	Marie-Christine Rousset	[11] [14] [15] [17] [18] [19]
19	Armando Tacchella	[6] [9]
20	Alvaro del Val	[5]

Colors in the list of coauthors