Sébastien Tabary

Statistics

Publications

Citations

154

H-Index

Active since

2006

Affiliations

Centre de Recherche en Informatique(Current)

Université d'Artois

Centre National de la Recherche Scientifique

Sébastien Tabary is an author at Centre de Recherche en Informatique specializing in mathematical programming, combinatorial optimization, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningMathematical ProgrammingCombinatorial OptimizationGamesBusinessGame DesignGame Theory

Publications per year

2006–2017

Publications

Reasoning from last conflict(s) in constraint programming

Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary et al. · Artificial Intelligence · 2009 · 45 citations

Mathematical Programming, Constraint Solving, Engineering +7

Recording and Minimizing Nogoods from Restarts

Christophe Lecoutre, Lakhdar Saïs, Sébastien Tabary et al. · Journal on Satisfiability Boolean Modeling and Computation · 2007 · 44 citations · Full text

Nogood Recording from Restarts

Christophe Lecoutre, Sébastien Tabary, Vincent Vidal · 2006 · 37 citations

Last Conflict based Reasoning

Christophe Lecoutre, Sébastien Tabary, Vincent Vidal · 2006 · 14 citations

Constraint-Based Symmetry Detection in General Game Playing

Frédéric Koriche, Sylvain Lagrue, Éric Piette et al. · 2017 · 14 citations · Full text

Artificial Intelligence, Mathematical Programming, Game Ai +22

Rows per page

1–5 of 5