( en | de | ru )

 

Disambiguation of "Tabary, Sébastien"

Author of the publication

copydeleteadd this publication to your clipboard
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.

, , , and . CP, volume 4741 of Lecture Notes in Computer Science, page 453-467. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sébastien Beyou

Sébastien Tixeuil

Sébastien Lallé

Sébastien Carcanague

Sébastien Choplin

 

Other publications of authors with the same name

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