Laurent Simon

Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon: Optimizing with minimum satisfiability. Artif. Intell. 190: 32-44 (2012)

Matti Järvisalo, Daniel Le Berre, Olivier Roussel, Laurent Simon: The International SAT Solver Competitions. AI Magazine 33(1) (2012)

Laurent Simon: Graphical process design tools for iontophoretic transdermal drug-delivery devices. Computer Methods and Programs in Biomedicine 107(3): 447-455 (2012)

Vincent Armant, Laurent Simon, Philippe Dague: Distributed Tree Decomposition with Privacy. CP 2012: 102-117

Gilles Audemard, Laurent Simon: Refining Restarts Strategies for SAT and UNSAT. CP 2012: 118-126

George Katsirelos, Laurent Simon: Eigenvector Centrality in Industrial SAT Instances. CP 2012: 348-356

George Katsirelos, Laurent Simon: Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). SAT 2012: 496-497

Kwang Seok Kim, Laurent Simon: Modeling and design of transdermal drug delivery patches containing an external heating device. Computers & Chemical Engineering 35(6): 1152-1163 (2011)

Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon: Minimum Satisfiability and Its Applications. IJCAI 2011: 605-610

Karem A. Sakallah, Laurent Simon (Eds.): Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Lecture Notes in Computer Science 6695, Springer 2011, isbn 978-3-642-21580-3

Antonin Novak, Laurent Simon, Pierrick Lotton: Analysis, Synthesis, and Classification of Nonlinear Systems Using Synchronized Swept-Sine Method for Audio Effects. EURASIP J. Adv. Sig. Proc. 2010 (2010)

Antonin Novak, Laurent Simon, F. Kadlec, Pierrick Lotton: Nonlinear System Identification Using Exponential Swept-Sine Signal. IEEE T. Instrumentation and Measurement 59(8): 2220-2229 (2010)

Gilles Audemard, George Katsirelos, Laurent Simon: A Restriction of Extended Resolution for Clause Learning SAT Solvers. AAAI 2010

Kwang Seok Kim, Laurent Simon: Optimal intravenous bolus-infusion drug-dosage regimen based on two-compartment pharmacokinetic models. Computers & Chemical Engineering 33(6): 1212-1219 (2009)

Gilles Audemard, Laurent Simon: Predicting Learnt Clauses Quality in Modern SAT Solvers. IJCAI 2009: 399-404

Laurent Simon, Olivier Richoux, Anne Degroot, Louis Lionet: Laser Doppler Velocimetry for Joint Measurements of Acoustic and Mean Flow Velocities: LMS-Based Algorithm and CRB Calculation. IEEE T. Instrumentation and Measurement 57(7): 1455-1464 (2008)

Gilles Audemard, Laurent Simon: Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. CP 2008: 630-634

W. David Holford, Mehran Ebrahimi, Omar Aktouf, Laurent Simon: Viewing Boundary "Objects" as Boundary Constructions. HICSS 2008: 339

Vincent Armant, Philippe Dague, Laurent Simon: Distributed Consistency-Based Diagnosis. LPAR 2008: 113-127

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)

Gilles Audemard, Laurent Simon: GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. IJCAI 2007: 2256-2261

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)

Daniel Le Berre, Laurent Simon: Preface. JSAT 2(1-4) (2006)

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

Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon: SomeWhere in the Semantic Web. SOFSEM 2006: 84-99

Laurent Simon, Daniel Le Berre, Edward A. Hirsch: The SAT2002 competition. Ann. Math. Artif. Intell. 43(1): 307-342 (2005)

Paul W. Purdom, Daniel Le Berre, Laurent Simon: A parsimony tree for the SAT2002 competition. Ann. Math. Artif. Intell. 43(1): 343-365 (2005)

Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: Scalability Study of Peer-to-Peer Consequence Finding. IJCAI 2005: 351-356

Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: SomeWhere in the Semantic Web. PPSWR 2005: 1-16

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)

Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon: Distributed Reasoning in a Peer-to-Peer Setting. ECAI 2004: 945-946

Daniel Le Berre, Laurent Simon: Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. SAT (Selected Papers 2004: 321-344

Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella: The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers 2004: 376-392

Daniel Le Berre, Laurent Simon: The Essentials of the SAT 2003 Competition. SAT 2003: 452-467

Daniel Le Berre, Laurent Simon, Armando Tacchella: Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers. SAT 2003: 468-485

Laurent Simon, Philippe Chatalic: SatEx: A Web-based Framework for SAT Experimentation. Electronic Notes in Discrete Mathematics 9: 129-149 (2001)

Philippe Chatalic, Laurent Simon: Multiresolution for SAT Checking. International Journal on Artificial Intelligence Tools 10(4): 451-481 (2001)

Laurent Simon, Alvaro del Val: Efficient Consequence Finding. IJCAI 2001: 359-370

Philippe Chatalic, Laurent Simon: ZRES: The Old Davis-Putman Procedure Meets ZBDD. CADE 2000: 449-454

Philippe Chatalic, Laurent Simon: Multi-resolution on compressed sets of clauses. ICTAI 2000: 2-10