L. Simon, Audemard, G., and Katsirelos, G.,
“A Restriction of Extended Resolution for Clause Learning SAT Solvers”, in
Proc. of American Association of Artificial Intelligence Conference (AAAI), Atlanta United States, 2010.
G. Katsirelos, Sabharwal, A., Samulowitz, H., and Simon, L.,
“Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers”, in
Conference on Artificial Intelligence (AAAI), Washington, Etats-Unis, 2013.
G. Audemard and Simon, L.,
“Refining restarts strategies for SAT and UNSAT formulae”, in
Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec City, Canada, 2012, pp. 118-126.
G. Audemard and Simon, L.,
“Predicting Learnt Clauses Quality in Modern SAT Solver”, in
Proc. of International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, États-Unis d'Amérique, 2009.
G. Audemard, Modeliar, M. Samy, and Simon, L.,
“Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus?”, in
Actes des Journées Francophones de Programmation par Contraintes (JFPC), Orléans, France, 2009, pp. 245-255.
L. Simon, Li, C. Min, Manya, F., and Zhu, Z.,
“Minimum Satisfiability and its Applications”, in
Proc. of International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain, 2011.
M. Martin, Dague, P., Pérès, S., and Simon, L.,
“Minimality of Metabolic Flux Modes under Boolean Regulation Constraints”, in
{12th International Workshop on Constraint-Based Methods for Bioinformatics WCB'16}, Toulouse, France, 2016.
G. Audemard, Lagniez, J. - M., and Simon, L.,
“Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction”, in
Proc. of International Conference on Theory and Applications of Satisfiability Testing (SAT), Helsinki, Finlande, 2013.
L. Simon and Katsirelos, G.,
“Eigenvector centrality in industrial SAT instances”, in
Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec City, Canada, 2012, pp. 348-356.
G. Audemard, Lagniez, J. - M., and Simon, L.,
“Du Glucose en goutte à goutte pour les coeurs inconsistants”, in
Actes des Journées Francophones de Programmation par Contraintes (JFPC), Aix en Provence, France, 2013.
V. Armant, Simon, L., and Dague, P.,
“Distributed tree decomposition with privacy”, in
Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec, Canada, 2012, pp. 102-117.
V. Armant, Dague, P., and Simon, L.,
“Distributed Tree Decomposition by Local Elections with One Token”, in
Actes des Journées de l'Intelligence Artificielle Fondamentale, (JIAF), Toulouse, France, 2012.