( en | de | ru )

 

Disambiguation of "Tabary, Sébastien"

Author of the publication

copydeleteadd this publication to your clipboard
An Adaptive Parallel SAT Solver.

, , , and . CP, volume 9892 of Lecture Notes in Computer Science, page 30-48. Springer, (2016)

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

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)An Adaptive Parallel SAT Solver., , , and . CP, volume 9892 of Lecture Notes in Computer Science, page 30-48. Springer, (2016)Last Conflict Based Reasoning., , , and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 133-137. IOS Press, (2006)Nogood Recording from Restarts., , , and . IJCAI, page 131-136. (2007)Constraint-Based Symmetry Detection in General Game Playing., , , and . IJCAI, page 280-287. ijcai.org, (2017)