Dijkstra s Algorithm with Fibonacci Heaps: An Executable Description in CHR

Jon Sneyers, Tom Schrijvers, Bart Demoen. Dijkstra s Algorithm with Fibonacci Heaps: An Executable Description in CHR. In Michael Fink, Hans Tompits, Stefan Woltran, editors, 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006. Volume 1843-06-02 of INFSYS Research Report, pages 182-191, Technische Universität Wien, Austria, 2006. [doi]

Authors

Jon Sneyers

This author has not been identified. It may be one of the following persons: Look up 'Jon Sneyers' in Google

Tom Schrijvers

Identified as Tom Schrijvers

Bart Demoen

This author has not been identified. Look up 'Bart Demoen' in Google