Reasoning from last conflict (s) in constraint programming C Lecoutre, L Saïs, S Tabary, V Vidal Artificial Intelligence 173 (18), 1592-1614, 2009 | 106 | 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 |
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 | 28 | 2020 |
Refining constraint weighting H Wattez, C Lecoutre, A Paparrizou, S Tabary 2019 IEEE 31st International Conference on Tools with Artificial …, 2019 | 27 | 2019 |
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 | 14 | 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 | 9 | 2007 |
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 | 7 | 2017 |
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 |
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 |