Sébastien Tabary

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 7

Top Topics

Unsatisfiable Cores

General Game Playing

Variable Ordering

Top Venues

Rev. d'Intelligence Artif.

Publications

Hugues Wattez, Frédéric Koriche, Christophe Lecoutre, Anastasia Paparrizou, Sébastien Tabary
Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts. ECAI (2020)
Hugues Wattez, Christophe Lecoutre, Anastasia Paparrizou, Sébastien Tabary
Refining Constraint Weighting. ICTAI (2019)
Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary
WoodStock : un programme-joueur générique. Rev. d'Intelligence Artif. 31 (3) (2017)
Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary
A Distributed Version of Syrup. SAT (2017)
Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary
Constraint-Based Symmetry Detection in General Game Playing. IJCAI (2017)
Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary
General game playing with stochastic CSP. Constraints An Int. J. 21 (1) (2016)
Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary
An Adaptive Parallel SAT Solver. CP (2016)
Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary
Solving WCSP by Extraction of Minimal Unsatisfiable Cores CoRR (2013)
Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary
Solving WCSP by Extraction of Minimal Unsatisfiable Cores. ICTAI (2013)
Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary
Propagating Soft Table Constraints. CP (2012)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Reasoning from last conflict(s) in constraint programming. Artif. Intell. 173 (18) (2009)
Christophe Lecoutre, Sébastien Tabary
Lightweight Detection of Variable Symmetries for Constraint Satisfaction. ICTAI (2009)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. CP (2007)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Transposition Tables for Constraint Satisfaction. AAAI (2007)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Nogood Recording from Restarts. IJCAI (2007)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Recording and Minimizing Nogoods from Restarts. J. Satisf. Boolean Model. Comput. 1 (3-4) (2007)
Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
Last Conflict Based Reasoning. ECAI (2006)