The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sébastien Tabary" ( http://dblp.L3S.de/Authors/Sébastien_Tabary )

  Author page on DBLP  Author page in RDF  Community of Sébastien Tabary in ASPL-2

Publication years (Num. hits)
2006-2017 (15)
Publication types (Num. hits)
article(5) inproceedings(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary WoodStock : un programme-joueur générique. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary A Distributed Version of Syrup. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary Constraint-Based Symmetry Detection in General Game Playing. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary General game playing with stochastic CSP. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary An Adaptive Parallel SAT Solver. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary Solving WCSP by Extraction of Minimal Unsatisfiable Cores Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary Solving WCSP by Extraction of Minimal Unsatisfiable Cores. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary Propagating Soft Table Constraints. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Reasoning from last conflict(s) in constraint programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Sébastien Tabary Lightweight Detection of Variable Symmetries for Constraint Satisfaction. Search on Bibsonomy ICTAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Recording and Minimizing Nogoods from Restarts. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Transposition Tables for Constraint Satisfaction. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Nogood Recording from Restarts. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001 Last Conflict Based Reasoning. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license