| Predicting learnt clauses quality in modern SAT solvers G Audemard, L Simon Proceedings of the 21st international jont conference on Artifical …, 2009 | 855 | 2009 |
| The international SAT solver competitions M Järvisalo, D Le Berre, O Roussel, L Simon Ai Magazine 33 (1), 89-92, 2012 | 192 | 2012 |
| Distributed reasoning in a peer-to-peer setting: Application to the semantic web P Adjiman, P Chatalic, F Goasdoué, MC Rousset, L Simon Journal of Artificial Intelligence Research 25, 269-314, 2006 | 165 | 2006 |
| Improving glucose for incremental SAT solving with assumptions: Application to MUS extraction G Audemard, JM Lagniez, L Simon International conference on theory and applications of satisfiability …, 2013 | 163 | 2013 |
| Refining restarts strategies for SAT and UNSAT G Audemard, L Simon International Conference on Principles and Practice of Constraint …, 2012 | 134 | 2012 |
| On the glucose SAT solver G Audemard, L Simon International Journal on Artificial Intelligence Tools 27 (01), 1840001, 2018 | 120 | 2018 |
| The essentials of the SAT 2003 competition D Le Berre, L Simon Theory and Applications of Satisfiability Testing, 269-270, 2004 | 98 | 2004 |
| Lazy clause exchange policy for parallel SAT solvers G Audemard, L Simon International Conference on Theory and Applications of Satisfiability …, 2014 | 91 | 2014 |
| Glucose: a solver that predicts learnt clauses quality G Audemard, L Simon SAT Competition, 7-8, 2009 | 91 | 2009 |
| Efficient consequence finding L Simon, A Del Val IJCAI 1, 359-365, 2001 | 84 | 2001 |
| Multi-resolution on compressed sets of clauses P Chatalic, L Simon Proceedings 12th IEEE Internationals Conference on Tools with Artificial …, 2000 | 84 | 2000 |
| Impact of community structure on SAT solver performance Z Newsham, V Ganesh, S Fischmeister, G Audemard, L Simon International Conference on Theory and Applications of Satisfiability …, 2014 | 81 | 2014 |
| A restriction of extended resolution for clause learning SAT solvers G Audemard, G Katsirelos, L Simon Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010 | 75 | 2010 |
| The SAT2002 competition L Simon, D Le Berre, EA Hirsch Annals of Mathematics and Artificial Intelligence 43 (1), 307-342, 2005 | 74 | 2005 |
| Fifty-five solvers in Vancouver: The SAT 2004 competition DL Berre, L Simon International Conference on Theory and Applications of Satisfiability …, 2004 | 64 | 2004 |
| Glucose in the SAT 2014 competition G Audemard, L Simon Proceedings of SAT Competition 2014, 31, 2014 | 63 | 2014 |
| ZRes: The Old Davis–Putnam Procedure Meets ZBDD P Chatalic, L Simon International Conference on Automated Deduction, 449-454, 2000 | 59 | 2000 |
| Optimizing with minimum satisfiability CM Li, Z Zhu, F Manyà, L Simon Artificial Intelligence 190, 32-44, 2012 | 58 | 2012 |
| Challenges in the QBF arena: the SAT’03 evaluation of QBF solvers DL Berre, L Simon, A Tacchella International Conference on Theory and Applications of Satisfiability …, 2003 | 58 | 2003 |
| GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. G Audemard, L Simon IJCAI 7, 2256-2261, 2007 | 46 | 2007 |
Gilles AudemardProfessor of Computer Science, CRIL, Université d'ArtoisAdresse e-mail validée de cril.fr
