| Reasoning from last conflict (s) in constraint programming C Lecoutre, L Saïs, S Tabary, V Vidal Artificial Intelligence 173 (18), 1592-1614, 2009 | 104 | 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 | 88 | 2006 |
| Nogood Recording from Restarts. C Lecoutre, L Sais, S Tabary, V Vidal IJCAI 7, 131-136, 2007 | 68 | 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 | 31 | 2016 |
| Refining constraint weighting H Wattez, C Lecoutre, A Paparrizou, S Tabary 2019 IEEE 31st International Conference on Tools with Artificial …, 2019 | 27 | 2019 |
| Learning variable ordering heuristics with multi-armed bandits and restarts H Wattez, F Koriche, C Lecoutre, A Paparrizou, S Tabary ECAI 2020, 371-378, 2020 | 26 | 2020 |
| Abscon 112: towards more robustness C Lecoutre, S Tabary 3rd International Constraint Solver Competition (CSC'08), 41-48, 2008 | 24 | 2008 |
| 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 (1), 95-114, 2016 | 19 | 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 | 13 | 2017 |
| A Distributed Version of Syrup G Audemard, JM Lagniez, N Szczepanski, S Tabary International Conference on Theory and Applications of Satisfiability …, 2017 | 13 | 2017 |
| 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 General Intelligence in Game-Playing Agents (GIGA’16) at the 25th …, 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 |
| Propagating soft table constraints C Lecoutre, N Paris, O Roussel, S Tabary Principles and Practice of Constraint Programming: 18th International …, 2012 | 7 | 2012 |
| WoodStock: un programme-joueur générique dirigé par les contraintes stochastiques E Piette, F Koriche, S Lagrue, S Tabary Revue d'Intelligence Artificielle, 2017 | 6 | 2017 |
| Compiling strategic games with complete information into stochastic csps F Koriche, S Lagrue, E Piette, T Sébastien Workshops at the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015 | 5 | 2015 |
| Symmetry-reinforced nogood recording from restarts C Lecoutre, S Tabary 11th International Workshop on Symmetry in Constraint Satisfaction Problems …, 2011 | 5 | 2011 |
