Suivre
TABARY Sébastien
TABARY Sébastien
CRIL-CNRS
Adresse e-mail validée de cril.fr
Titre
Citée par
Citée par
Année
Reasoning from last conflict (s) in constraint programming
C Lecoutre, L Saïs, S Tabary, V Vidal
Artificial Intelligence 173 (18), 1592-1614, 2009
1062009
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
882006
Nogood Recording from Restarts.
C Lecoutre, L Sais, S Tabary, V Vidal
IJCAI 7, 131-136, 2007
682007
Last conflict based reasoning
C Lecoutre, L Sais, S Tabary, V Vidal
ECAI, 133-137, 2006
452006
An adaptive parallel SAT solver
G Audemard, JM Lagniez, N Szczepanski, S Tabary
International Conference on Principles and Practice of Constraint …, 2016
312016
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
282020
Refining constraint weighting
H Wattez, C Lecoutre, A Paparrizou, S Tabary
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
272019
Abscon 112: towards more robustness
C Lecoutre, S Tabary
3rd International Constraint Solver Competition (CSC'08), 41-48, 2008
242008
Abscon 109: a generic CSP solver
C Lecoutre, S Tabary
2nd International Constraint Solver Competition (CSC'06), 55-63, 2008
202008
General game playing with stochastic CSP
F Koriche, S Lagrue, É Piette, S Tabary
Constraints 21 (1), 95-114, 2016
192016
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
172007
Constraint-Based Symmetry Detection in General Game Playing.
F Koriche, S Lagrue, É Piette, S Tabary
IJCAI, 280-287, 2017
142017
A Distributed Version of Syrup
G Audemard, JM Lagniez, N Szczepanski, S Tabary
International Conference on Theory and Applications of Satisfiability …, 2017
132017
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
92007
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
72017
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
72016
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
72013
Propagating soft table constraints
C Lecoutre, N Paris, O Roussel, S Tabary
Principles and Practice of Constraint Programming: 18th International …, 2012
72012
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
52015
Symmetry-reinforced nogood recording from restarts
C Lecoutre, S Tabary
11th International Workshop on Symmetry in Constraint Satisfaction Problems …, 2011
52011
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20