Simon, Laurent

13 publications

ICML 2025 Position: Machine Learning Models Have a Supply Chain Problem Sarah Meiklejohn, Hayden Blauzvern, Mihai Maruseac, Spencer Schrock, Laurent Simon, Ilia Shumailov

JAIR 2019 Community Structure in Industrial SAT Instances Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon

IJCAI 2018 Seeking Practical CDCL Insights from Theoretical SAT Benchmarks Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon

AAAI 2017 Diagnosability Planning for Controllable Discrete Event Systems Hassan Ibrahim, Philippe Dague, Alban Grastien, Lina Ye, Laurent Simon

IJCAI 2013 Just-in-Time Compilation of Knowledge Bases Gilles Audemard, Jean-Marie Lagniez, Laurent Simon

AAAI 2013 Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers George Katsirelos, Ashish Sabharwal, Horst Samulowitz, Laurent Simon

IJCAI 2011 Minimum Satisfiability and Its Applications Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon

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

IJCAI 2009 Predicting Learnt Clauses Quality in Modern SAT Solvers Gilles Audemard, Laurent Simon

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

JAIR 2006 Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon

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

IJCAI 2001 Efficient Consequence Finding Laurent Simon, Alvaro del Val