( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Distributed Version of Syrup.

, , , и . SAT, том 10491 из Lecture Notes in Computer Science, стр. 215-232. Springer, (2017)

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.

Sébastien Beyou

Sébastien Tixeuil

Sébastien Lallé

Sébastien Carcanague

Sébastien Choplin

 

Другие публикации лиц с тем же именем

Solving WCSP by Extraction of Minimal Unsatisfiable Cores., , , и . ICTAI, стр. 915-922. IEEE Computer Society, (2013)Last Conflict Based Reasoning., , , и . ECAI, том 141 из Frontiers in Artificial Intelligence and Applications, стр. 133-137. IOS Press, (2006)An Adaptive Parallel SAT Solver., , , и . CP, том 9892 из Lecture Notes in Computer Science, стр. 30-48. Springer, (2016)A Distributed Version of Syrup., , , и . SAT, том 10491 из Lecture Notes in Computer Science, стр. 215-232. Springer, (2017)WoodStock : un programme-joueur générique., , , и . Rev. d'Intelligence Artif., 31 (3): 281-310 (2017)Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts., , , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 371-378. IOS Press, (2020)Transposition Tables for Constraint Satisfaction., , , и . AAAI, стр. 243-248. AAAI Press, (2007)Lightweight Detection of Variable Symmetries for Constraint Satisfaction., и . ICTAI, стр. 193-197. IEEE Computer Society, (2009)Nogood Recording from Restarts., , , и . IJCAI, стр. 131-136. (2007)Constraint-Based Symmetry Detection in General Game Playing., , , и . IJCAI, стр. 280-287. ijcai.org, (2017)