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:17 - 11 self

Active Bibliography

47 The Computational Power and Complexity of Constraint Handling Rules – Jon Sneyers, Tom Schrijvers, Bart Demoen - 2005
6 The Correspondence between the Logical Algorithms Language and CHR – Leslie De Koninck, Tom Schrijvers, Bart Demoen - 2007
As Time Goes By: Constraint Handling Rules – Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck - 2009
11 As time goes by: Constraint handling rules -- A survey of CHR research between 1998 and 2007 – Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck - 2009
8 CCHR: the fastest CHR implementation – Pieter Wuille, Tom Schrijvers, Bart Demoen
4 CHR for imperative host languages – Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen - 2008
3 Aggregates for Constraint Handling Rules – Jon Sneyers, Peter Van Weert, Tom Schrijvers - 2007
1 Transformation-based Indexing Techniques for Constraint Handling Rules – Beata Sarna-starosta, Tom Schrijvers
1 An Efficient Term Representation for CHR Indexing – Beata Sarna-starosta, Tom Schrijvers
2 Efficient Lazy Evaluation of Rule-Based Programs – Peter Van Weert
19 Handbook of Constraint Programming – Francesca Rossi, Peter Van Beek, Toby Walsh, Thom Frühwirth, Laurent Michel, Christian Schulte
1 Optimizing Compilation of CHR rp – Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck - 2007
Attributed Data for CHR Indexing – Beata Sarna-starosta, Tom Schrijvers
Join Ordering for Constraint Handling Rules Putting Theory into Practice – Peter Van Weert
4 A new approach to termination analysis of Constraint Handling Rules – Dean Voets, Paolo Pilozzi, Danny De Schreye - 2007
A new approach to termination analysis of CHR – Dean Voets, Paolo Pilozzi, Danny De Schreye - 2008
7 Translating constraint handling rules into action rules – Neng-fa Zhou, Tom Schrijvers, Bart Demoen - 2006
19 K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java – Peter Van Weert, Tom Schrijvers, Bart Demoen - 2005
7 Aggregates for CHR through program transformation – Peter Van Weert, Jon Sneyers, Bart Demoen - 2008