| Predicting learnt clauses quality in modern SAT solvers G Audemard, L Simon Proceedings of the 21st international jont conference on Artifical …, 2009 | 934 | 2009 |
| The international SAT solver competitions M Järvisalo, D Le Berre, O Roussel, L Simon Ai Magazine 33 (1), 89-92, 2012 | 208 | 2012 |
| Improving glucose for incremental SAT solving with assumptions: Application to MUS extraction G Audemard, JM Lagniez, L Simon Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013 | 169 | 2013 |
| 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 | 169 | 2006 |
| On the glucose SAT solver G Audemard, L Simon International Journal on Artificial Intelligence Tools 27 (01), 1840001, 2018 | 160 | 2018 |
| Refining restarts strategies for SAT and UNSAT G Audemard, L Simon Principles and Practice of Constraint Programming: 18th International …, 2012 | 142 | 2012 |
| The essentials of the SAT 2003 competition D Le Berre, L Simon Theory and Applications of Satisfiability Testing, 269-270, 2004 | 102 | 2004 |
| Lazy clause exchange policy for parallel SAT solvers G Audemard, L Simon Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014 | 98 | 2014 |
| Glucose: a solver that predicts learnt clauses quality G Audemard, L Simon SAT Competition, 7-8, 2009 | 98 | 2009 |
| Impact of community structure on SAT solver performance Z Newsham, V Ganesh, S Fischmeister, G Audemard, L Simon Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014 | 87 | 2014 |
| Multi-resolution on compressed sets of clauses P Chatalic, L Simon Proceedings 12th IEEE Internationals Conference on Tools with Artificial …, 2000 | 87 | 2000 |
| Efficient consequence finding L Simon, A Del Val IJCAI 1, 359-365, 2001 | 84 | 2001 |
| A restriction of extended resolution for clause learning SAT solvers G Audemard, G Katsirelos, L Simon Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 15-20, 2010 | 81 | 2010 |
| The SAT2002 competition L Simon, D Le Berre, EA Hirsch Annals of Mathematics and Artificial Intelligence 43, 307-342, 2005 | 80 | 2005 |
| Glucose in the SAT 2014 Competition G Audemard, L Simon Proceedings of SAT Competition 2014, 31, 2014 | 66 | 2014 |
| Fifty-five solvers in Vancouver: The SAT 2004 competition D Le Berre, L Simon Theory and Applications of Satisfiability Testing: 7th International …, 2005 | 66 | 2005 |
| Optimizing with minimum satisfiability CM Li, Z Zhu, F Manyà, L Simon Artificial Intelligence 190, 32-44, 2012 | 65 | 2012 |
| ZRes: The Old Davis–Putnam Procedure Meets ZBDD P Chatalic, L Simon Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000 | 63 | 2000 |
| Challenges in the QBF arena: the SAT’03 evaluation of QBF solvers D Le Berre, L Simon, A Tacchella Theory and Applications of Satisfiability Testing: 6th International …, 2004 | 62 | 2004 |
| Minimum Satisfiability and its Applications CM Li, Z Zhu, F Manya, L Simon Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 50 | 2011 |
Gilles AudemardProfessor of Computer Science, CRIL, Université d'ArtoisAdresse e-mail validée de cril.fr
