( en | de | ru )

 

Disambiguierung von "Tabary, Sébastien"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
WoodStock : un programme-joueur générique.

, , , und . Rev. d'Intelligence Artif., 31 (3): 281-310 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sébastien Beyou

Sébastien Tixeuil

Sébastien Lallé

Sébastien Carcanague

Sébastien Choplin

 

Weitere Publikationen von Autoren mit dem selben Namen

Recording and Minimizing Nogoods from Restarts., , , und . J. Satisf. Boolean Model. Comput., 1 (3-4): 147-167 (2007)Solving WCSP by Extraction of Minimal Unsatisfiable Cores., , , und . ICTAI, Seite 915-922. IEEE Computer Society, (2013)A Distributed Version of Syrup., , , und . SAT, Volume 10491 von Lecture Notes in Computer Science, Seite 215-232. Springer, (2017)Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts., , , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 371-378. IOS Press, (2020)WoodStock : un programme-joueur générique., , , und . Rev. d'Intelligence Artif., 31 (3): 281-310 (2017)Lightweight Detection of Variable Symmetries for Constraint Satisfaction., und . ICTAI, Seite 193-197. IEEE Computer Society, (2009)Transposition Tables for Constraint Satisfaction., , , und . AAAI, Seite 243-248. AAAI Press, (2007)Last Conflict Based Reasoning., , , und . ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 133-137. IOS Press, (2006)Reasoning from last conflict(s) in constraint programming., , , und . Artif. Intell., 173 (18): 1592-1614 (2009)An Adaptive Parallel SAT Solver., , , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 30-48. Springer, (2016)