Sébastien Tabary

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