Autor der Publikation

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

, , , und . CP, Volume 4741 von Lecture Notes in Computer Science, Seite 453-467. Springer, (2007)

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.

 

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)WoodStock : un programme-joueur générique., , , und . Rev. d'Intelligence Artif., 31 (3): 281-310 (2017)Transposition Tables for Constraint Satisfaction., , , und . AAAI, Seite 243-248. AAAI Press, (2007)Lightweight Detection of Variable Symmetries for Constraint Satisfaction., und . ICTAI, Seite 193-197. IEEE Computer Society, (2009)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)Reasoning from last conflict(s) in constraint programming., , , und . Artif. Intell., 173 (18): 1592-1614 (2009)Last Conflict Based Reasoning., , , und . ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 133-137. IOS Press, (2006)An Adaptive Parallel SAT Solver., , , und . CP, Volume 9892 von Lecture Notes in Computer Science, Seite 30-48. Springer, (2016)