Sébastien Tabary

According to our database, Sébastien Tabary authored at least 16 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts.

Hugues Wattez, Frédéric Koriche, Christophe Lecoutre, Anastasia Paparrizou, Sébastien Tabary

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Refining Constraint Weighting.

Hugues Wattez, Christophe Lecoutre, Anastasia Paparrizou, Sébastien Tabary

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2017

WoodStock : un programme-joueur générique.

Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary

Rev. d'Intelligence Artif., 2017

A Distributed Version of Syrup.

Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Constraint-Based Symmetry Detection in General Game Playing.

Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

General game playing with stochastic CSP.

Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary

Constraints An Int. J., 2016

An Adaptive Parallel SAT Solver.

Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary

Proceedings of the Principles and Practice of Constraint Programming, 2016

2013

Solving WCSP by Extraction of Minimal Unsatisfiable Cores.

Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Propagating Soft Table Constraints.

Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary

Proceedings of the Principles and Practice of Constraint Programming, 2012

2009

Reasoning from last conflict(s) in constraint programming.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Artif. Intell., 2009

Lightweight Detection of Variable Symmetries for Constraint Satisfaction.

Christophe Lecoutre, Sébastien Tabary

Proceedings of the ICTAI 2009, 2009

2007

Recording and Minimizing Nogoods from Restarts.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

J. Satisf. Boolean Model. Comput., 2007

Nogood Recording from Restarts.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Proceedings of the IJCAI 2007, 2007

Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Proceedings of the Principles and Practice of Constraint Programming, 2007

Transposition Tables for Constraint Satisfaction.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Last Conflict Based Reasoning.

Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006