Dijkstra’s algorithm with Fibonacci heaps: An executable description (2006)

by Jon Sneyers , Tom Schrijvers , Bart Demoen
Venue:in CHR. In 20th Workshop on Logic Programming (WLP’06
Citations:18 - 11 self

Documents Related by Co-Citation

396 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
46 Analyses, optimizations and extensions of Constraint Handling Rules – T Schrijvers
56 The K.U.Leuven CHR system: implementation and application – Tom Schrijvers, Bart Demoen - 2004
23 Compilation of Constraint Handling Rules – G J Duck - 2005
34 Optimal Union-Find in Constraint Handling Rules – Tom Schrijvers, Thom Frühwirth - 2006
41 Optimizing Compilation of Constraint Handling Rules – Christian Holzbaur, María García de la Banda, David Jeffery, Peter J. Stuckey - 2001
187 Constraint Handling Rules – Thom Frühwirth - 1995
49 The Refined Operational Semantics of Constraint Handling Rules – Gregory J. Duck, Peter J. Stuckey, María García de la Banda, Christian Holzbaur - 2004
6 The Correspondence between the Logical Algorithms Language and CHR – Leslie De Koninck, Tom Schrijvers, Bart Demoen - 2007
27 Logical Algorithms – Harald Ganzinger, David Mcallester - 2002
50 The Computational Power and Complexity of Constraint Handling Rules – Jon Sneyers, Tom Schrijvers, Bart Demoen - 2005
8 CCHR: the fastest CHR implementation – Pieter Wuille, Tom Schrijvers, Bart Demoen
12 Extending CHR with negation as absence – Peter Van Weert, Jon Sneyers, Tom Schrijvers, Bart Demoen, Peter Van Weert, Jon Sneyers, Tom Schrijvers, Bart Demoen - 2006
26 Abstract Interpretation for Constraint Handling Rules – Tom Schrijvers - 2005
8 Memory reuse for CHR – Jon Sneyers, Tom Schrijvers, Bart Demoen - 2006
26 Adaptive constraint handling with CHR in Java – A Wolf - 2001
16 Automatic Implication Checking for CHR Constraints – Tom Schrijvers, Bart Demoen, Gregory Duck, Peter Stuckey, Thom Frühwirth - 2005
19 K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java – Peter Van Weert, Tom Schrijvers, Bart Demoen - 2005
585 Rete: A Fast Algorithm for the Many Pattern-Many Object Pattern Match Problem – C Forgy - 1982