Autor der Publikation

Speeding Up Constrained Path Solvers with a Reachability Propagator.

, , und . CP, Volume 3709 von Lecture Notes in Computer Science, Seite 866. Springer, (2005)

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

Lock-Free Decentralized Storage for Transactional Upgrade Rollback, , , , und . 19th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, IEEE International, (2010)An Informal Introduction to LIFE., , und . ICLP Workshop on Concurrent Constraint Programming, (1993)Derflow: distributed deterministic dataflow programming for erlang., , , und . Erlang Workshop, Seite 51-60. ACM, (2014)Aquarius., , , , , , , , , und 4 andere Autor(en). SIGARCH Comput. Archit. News, 15 (1): 22-34 (1987)1983-1993: The Wonder Years of Sequential Prolog Implementation.. J. Log. Program., (1994)Announcing the Mozart Programming System.. ACM SIGPLAN Notices, 34 (4): 33-34 (1999)Beernet: Building Self-Managing Decentralized Systems with Replicated Transactional Storage., und . Int. J. Adapt. Resilient Auton. Syst., 1 (3): 1-24 (2010)Ideas for the future of Prolog inspired by Oz., und . CoRR, (2023)A Fault Tolerant Abstraction for Transparent Distributed Programming., , und . MOZ, Volume 3389 von Lecture Notes in Computer Science, Seite 149-160. Springer, (2004)Software-defined data services: Interoperable and network-aware big data executions., , und . SDS, Seite 145-152. IEEE, (2018)