From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.

C. Lecoutre, L. Sais, S. Tabary, и V. Vidal. CP, том 4741 из Lecture Notes in Computer Science, стр. 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.

Sébastien Beyou

Sébastien Tixeuil

Sébastien Lallé

Sébastien Carcanague

Sébastien Choplin

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

Recording and Minimizing Nogoods from Restarts.C. Lecoutre, L. Sais, S. Tabary, и V. Vidal. J. Satisf. Boolean Model. Comput., 1 (3-4): 147-167 (2007)Solving WCSP by Extraction of Minimal Unsatisfiable Cores.C. Lecoutre, N. Paris, O. Roussel, и S. Tabary. ICTAI, стр. 915-922. IEEE Computer Society, (2013)A Distributed Version of Syrup.G. Audemard, J. Lagniez, N. Szczepanski, и S. Tabary. SAT, том 10491 из Lecture Notes in Computer Science, стр. 215-232. Springer, (2017)WoodStock : un programme-joueur générique.F. Koriche, S. Lagrue, É. Piette, и S. Tabary. Rev. d'Intelligence Artif., 31 (3): 281-310 (2017)Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts.H. Wattez, F. Koriche, C. Lecoutre, A. Paparrizou, и S. Tabary. ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 371-378. IOS Press, (2020)Lightweight Detection of Variable Symmetries for Constraint Satisfaction.C. Lecoutre, и S. Tabary. ICTAI, стр. 193-197. IEEE Computer Society, (2009)Transposition Tables for Constraint Satisfaction.C. Lecoutre, L. Sais, S. Tabary, и V. Vidal. AAAI, стр. 243-248. AAAI Press, (2007)Reasoning from last conflict(s) in constraint programming.C. Lecoutre, L. Sais, S. Tabary, и V. Vidal. Artif. Intell., 173 (18): 1592-1614 (2009)Last Conflict Based Reasoning.C. Lecoutre, L. Sais, S. Tabary, и V. Vidal. ECAI, том 141 из Frontiers in Artificial Intelligence and Applications, стр. 133-137. IOS Press, (2006)An Adaptive Parallel SAT Solver.G. Audemard, J. Lagniez, N. Szczepanski, и S. Tabary. CP, том 9892 из Lecture Notes in Computer Science, стр. 30-48. Springer, (2016)

BibSonomy

Disambiguation