Autor der Publikation

A General Implementation Framework for Tabled CLP.

, , , und . FLOPS, Volume 7294 von Lecture Notes in Computer Science, Seite 104-119. Springer, (2012)

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

Projecting CLP (R) Constraints., , , und . New Generation Comput., 11 (3): 449-469 (1993)Herbrand Constraint Solving in HAL., , , , und . ICLP, Seite 260-274. MIT Press, (1999)Optimization of Logic Programs with Dynamic Scheduling., , , und . ICLP, Seite 93-107. MIT Press, (1997)On Meta-Programming in CLR(R)., , , und . NACLP, Seite 52-66. MIT Press, (1989)Analysis Based Constraint Query Optimization., und . ICLP, Seite 666-682. MIT Press, (1993)Exact Approaches to the Multi-agent Collective Construction Problem., , , und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 743-758. Springer, (2020)The Argmax Constraint., und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 323-337. Springer, (2020)Generalized Modularity for Community Detection., , , , und . ECML/PKDD (2), Volume 9285 von Lecture Notes in Computer Science, Seite 655-670. Springer, (2015)Branch-and-cut-and-price for the Electric Vehicle Routing Problem with Time Windows, Piecewise-Linear Recharging and Capacitated Recharging Stations., , und . Comput. Oper. Res., (2022)A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections., , , und . CoRR, (2021)