Autor der Publikation

Exploiting Sparsity in Difference-Bound Matrices.

, , , , und . SAS, Volume 9837 von Lecture Notes in Computer Science, Seite 189-211. Springer, (2016)

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

Monadic constraint programming., , und . J. Funct. Program., 19 (6): 663-697 (2009)Exploring Declarative Local-Search Neighbourhoods with Constraint Programming., , , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 37-53. Springer, (2019)Regarding Jump Point Search and Subgoal Graphs., , , und . IJCAI, Seite 1241-1248. ijcai.org, (2019)Sequencing Operator Counts., , , und . IJCAI, Seite 4140-4144. IJCAI/AAAI Press, (2016)Local Search for a Cargo Assembly Planning Problem., , , und . CPAIOR, Volume 8451 von Lecture Notes in Computer Science, Seite 159-175. Springer, (2014)Automating branch-and-bound for dynamic programs., und . PEPM, Seite 81-89. ACM, (2008)Finite type extensions in constraint programming., , und . PPDP, Seite 217-227. ACM, (2013)Finite Domain Bounds Consistency Revisited., , , und . Australian Conference on Artificial Intelligence, Volume 4304 von Lecture Notes in Computer Science, Seite 49-58. Springer, (2006)Meta-Programming in CLP(R)., , , und . J. Log. Program., 33 (3): 221-259 (1997)Logic programming with satisfiability., , und . Theory Pract. Log. Program., 8 (1): 121-128 (2008)