Laurent Simon

发表

Refining Restarts Strategies for SAT and UNSAT

Gilles Audemard, Laurent Simon, Gilles Audemard, 2012, CP.

A Restriction of Extended Resolution for Clause Learning SAT Solvers

Gilles Audemard, George Katsirelos, Laurent Simon, 2010, AAAI.

SAT 2009 competitive events booklet: preliminary version

Vasco M. Manquinho, Olivier Roussel, Jordi Planes, 2009 .

GLUCOSE : a solver that predicts learnt clauses quality

Gilles Audemard, Laurent Simon, 2009 .

SatEx : Towards an Exhaustive and Upto-Date SAT Experimentation

Laurent Simon, 2001 .

Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

Karem A. Sakallah, Laurent Simon, K. Sakallah, 2011, SAT.

Theme : Knowledge and Data Representation and Management Project-team Gemo Management of Data and Knowledge Distributed over the Web

François Goasdoué, Ioana Manolescu, Hélène Gagliardi, 2022 .

Distributed Reasoning in a Peer-to-Peer Setting

François Goasdoué, Philippe Chatalic, Laurent Simon, 2004, ECAI.

Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers

Armando Tacchella, Laurent Simon, Daniel Le Berre, 2003, SAT.

Impact of Community Structure on SAT Solver Performance

Sebastian Fischmeister, Gilles Audemard, Laurent Simon, 2014, SAT.

SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers

Gilles Audemard, Laurent Simon, Loic Paulev'e, 2020, SAT.

Predicting Learnt Clauses Quality in Modern SAT Solvers

Gilles Audemard, Laurent Simon, Gilles Audemard, 2009, IJCAI.

Scalability Study of Peer-to-Peer Consequence Finding

François Goasdoué, Philippe Chatalic, Laurent Simon, 2005, IJCAI.

On the Glucose SAT Solver

Gilles Audemard, Laurent Simon, Gilles Audemard, 2018, Int. J. Artif. Intell. Tools.

SomeWhere in the Semantic Web

François Goasdoué, Philippe Chatalic, Laurent Simon, 2005, SOFSEM.

The International SAT Solver Competitions

Olivier Roussel, Matti Järvisalo, Laurent Simon, 2012, AI Mag..

Minimum Satisfiability and Its Applications

Zhu Zhu, Felip Manyà, Chu Min Li, 2011, IJCAI.

Optimizing with minimum satisfiability

Zhu Zhu, Felip Manyà, Chu Min Li, 2012, Artif. Intell..

Lazy Clause Exchange Policy for Parallel SAT Solvers

Gilles Audemard, Laurent Simon, Gilles Audemard, 2014, SAT.

Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction

Gilles Audemard, Jean-Marie Lagniez, Laurent Simon, 2013, SAT.

The Essentials of the SAT 2003 Competition

Laurent Simon, Daniel Le Berre, Laurent Simon, 2003, SAT.

Experimenting Small Changes in Conflict-Driven Clause Learning Algorithms

Gilles Audemard, Laurent Simon, Gilles Audemard, 2013 .

Post Mortem Analysis of SAT Solver Proofs

Laurent Simon, Laurent Simon, 2014, POS@SAT.

Eigenvector Centrality in Industrial SAT Instances

George Katsirelos, Laurent Simon, G. Katsirelos, 2012, CP.

Zigzagging Strategies for Temporal Induction

Laurent Simon, Guillaume Baud-Berthier, Laurent Simon, 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).

SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies

François Goasdoué, Philippe Chatalic, Laurent Simon, 2006, OTM Conferences.

ZRES: The Old Davis-Putman Procedure Meets ZBDD

Philippe Chatalic, Laurent Simon, Laurent Simon, 2000, CADE.

The SAT2002 competition

Edward A. Hirsch, Laurent Simon, Daniel Le Berre, 2004, Annals of Mathematics and Artificial Intelligence.

The SAT2002 Competition (preliminary draft)

Edward A. Hirsch, Laurent Simon, Laurent Simon, 2002 .

SAT-Based Metabolics Pathways Analysis without Compilation

Laurent Simon, Sabine Peres, Martin Morterol, 2014, CMSB.

The International SAT Solver Competitions

Daniel Le Berre, Olivier Roussel, Laurent Simon, 2012, AI Mag..

SAT Competition 2018

Marijn J. H. Heule, Marijn Heule, Edward A. Hirsch, 2019, J. Satisf. Boolean Model. Comput..

Fifty-Five Solvers in Vancouver: The SAT 2004 Competition

Laurent Simon, Daniel Le Berre, Laurent Simon, 2004, SAT (Selected Papers.