Last Conflict Based Reasoning. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (ECAI, 2006)

Transposition Tables for Constraint Satisfaction. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (AAAI, 2007)

Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (CP, 2007)

Nogood Recording from Restarts. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (IJCAI, 2007)

Recording and Minimizing Nogoods from Restarts. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (J. Satisf. Boolean Model. Comput., 2007)

Lightweight Detection of Variable Symmetries for Constraint Satisfaction. - Christophe Lecoutre; Sébastien Tabary (ICTAI, 2009)

Reasoning from last conflict(s) in constraint programming. - Christophe Lecoutre; Lakhdar Sais; Sébastien Tabary; Vincent Vidal 001 (Artif. Intell., 2009)

Propagating Soft Table Constraints. - Christophe Lecoutre; Nicolas Paris; Olivier Roussel; Sébastien Tabary (CP, 2012)

Solving WCSP by Extraction of Minimal Unsatisfiable Cores. - Christophe Lecoutre; Nicolas Paris; Olivier Roussel; Sébastien Tabary (ICTAI, 2013)

An Adaptive Parallel SAT Solver. - Gilles Audemard; Jean-Marie Lagniez; Nicolas Szczepanski; Sébastien Tabary (CP, 2016)

General game playing with stochastic CSP. - Frédéric Koriche; Sylvain Lagrue; Éric Piette; Sébastien Tabary (Constraints An Int. J., 2016)

Constraint-Based Symmetry Detection in General Game Playing. - Frédéric Koriche; Sylvain Lagrue; Éric Piette; Sébastien Tabary (IJCAI, 2017)

A Distributed Version of Syrup. - Gilles Audemard; Jean-Marie Lagniez; Nicolas Szczepanski; Sébastien Tabary (SAT, 2017)

WoodStock : un programme-joueur générique. - Frédéric Koriche; Sylvain Lagrue; Éric Piette; Sébastien Tabary (Rev. d'Intelligence Artif., 2017)

Refining Constraint Weighting. - Hugues Wattez; Christophe Lecoutre; Anastasia Paparrizou; Sébastien Tabary (ICTAI, 2019)

Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts. - Hugues Wattez; Frédéric Koriche; Christophe Lecoutre; Anastasia Paparrizou; Sébastien Tabary (ECAI, 2020)