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]

@inproceedings{SneyersSD06:0,
  title = {Dijkstra s Algorithm with Fibonacci Heaps: An Executable Description in CHR},
  author = {Jon Sneyers and Tom Schrijvers and Bart Demoen},
  year = {2006},
  url = {http://www.kr.tuwien.ac.at/wlp06/02-final.ps.gz},
  researchr = {https://researchr.org/publication/SneyersSD06%3A0},
  cites = {0},
  citedby = {0},
  pages = {182-191},
  booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006},
  editor = {Michael Fink and Hans Tompits and Stefan Woltran},
  volume = {1843-06-02},
  series = {INFSYS Research Report},
  publisher = {Technische Universität Wien, Austria},
}