| Reasoning from last conflict (s) in constraint programming C Lecoutre, L Saïs, S Tabary, V Vidal Artificial Intelligence 173 (18), 1592-1614, 2009 | 105 | 2009 |
| Recording and minimizing nogoods from restarts C Lecoutre, L Sais, S Tabary, V Vidal Journal on Satisfiability, Boolean Modeling and Computation 1 (3-4), 147-167, 2006 | 87 | 2006 |
| Nogood Recording from Restarts. C Lecoutre, L Sais, S Tabary, V Vidal IJCAI 7, 131-136, 2007 | 67 | 2007 |
| Last conflict based reasoning C Lecoutre, L Sais, S Tabary, V Vidal ECAI, 133-137, 2006 | 45 | 2006 |
| An adaptive parallel SAT solver G Audemard, JM Lagniez, N Szczepanski, S Tabary International Conference on Principles and Practice of Constraint …, 2016 | 28 | 2016 |
| Refining constraint weighting H Wattez, C Lecoutre, A Paparrizou, S Tabary 2019 IEEE 31st International Conference on Tools with Artificial …, 2019 | 26 | 2019 |
| Abscon 112: towards more robustness C Lecoutre, S Tabary 3rd International Constraint Solver Competition (CSC'08), 41-48, 2008 | 25 | 2008 |
| Learning variable ordering heuristics with multi-armed bandits and restarts H Wattez, F Koriche, C Lecoutre, A Paparrizou, S Tabary ECAI 2020-24th European Conference on Artificial Intelligence, 2020 | 22 | 2020 |
| Abscon 109: a generic CSP solver C Lecoutre, S Tabary 2nd International Constraint Solver Competition (CSC'06), 55-63, 2008 | 20 | 2008 |
| General game playing with stochastic CSP F Koriche, S Lagrue, É Piette, S Tabary Constraints 21, 95-114, 2016 | 17 | 2016 |
| Transposition tables for constraint satisfaction C Lecoutre, L Sais, S Tabary, V Vidal PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (1), 243, 2007 | 17 | 2007 |
| Constraint-Based Symmetry Detection in General Game Playing. F Koriche, S Lagrue, É Piette, S Tabary IJCAI, 280-287, 2017 | 11 | 2017 |
| A Distributed Version of Syrup G Audemard, JM Lagniez, N Szczepanski, S Tabary International Conference on Theory and Applications of Satisfiability …, 2017 | 11 | 2017 |
| Propagating soft table constraints C Lecoutre, N Paris, O Roussel, S Tabary Principles and Practice of Constraint Programming: 18th International …, 2012 | 8 | 2012 |
| Exploiting past and future: Pruning by inconsistent partial state dominance C Lecoutre, L Sais, S Tabary, V Vidal Principles and Practice of Constraint Programming–CP 2007: 13th …, 2007 | 8 | 2007 |
| Stochastic constraint programming for general game playing with imperfect information F Koriche, S Lagrue, É Piette, S Tabary IJCAI Workshop on General Intelligence in Game-Playing Agents (GIGA)(eds. S …, 2016 | 7 | 2016 |
| Solving WCSP by extraction of minimal unsatisfiable cores C Lecoutre, N Paris, O Roussel, S Tabary 2013 IEEE 25th International Conference on Tools with Artificial …, 2013 | 7 | 2013 |
| WoodStock: un programme-joueur générique dirigé par les contraintes stochastiques F Koriche, S Lagrue, É Piette, S Tabary Revue d’intelligence artificielle–no 307, 336, 2017 | 6 | 2017 |
| Symmetry-reinforced nogood recording from restarts C Lecoutre, S Tabary 11th International Workshop on Symmetry in Constraint Satisfaction Problems …, 2011 | 5 | 2011 |
| Compiling strategic games with complete information into stochastic csps F Koriche, S Lagrue, É Piette, T Sébastien Workshops at the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015 | 4 | 2015 |
