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 - 2005
56 The K.U.Leuven CHR system: implementation and application – Tom Schrijvers, Bart Demoen - 2004
37 María García de la – Gregory J Duck, Peter J Stuckey - 2004
34 Optimal Union-Find in Constraint Handling Rules – Tom Schrijvers, Thom Frühwirth - 2006
15 As Time Goes By: Automatic Complexity Analysis of Simplification Rules – Thom Frühwirth - 2002
190 Constraint Handling Rules – Thom Frühwirth - 1995
48 The Refined Operational Semantics of Constraint Handling Rules – Gregory J. Duck, Peter J. Stuckey, María García de la Banda, Christian Holzbaur - 2004
52 An overview of the SWI-Prolog programming environment – J Wielemaker
91 Operational Semantics and Confluence of Constraint Propagation Rules – Slim Abdennadher - 1997
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
29 Parallelizing union-find in Constraint Handling Rules using confluence analysis – Thom Frühwirth - 2005
18 User-definable rule priorities for CHR, in – L D Koninck, T Schrijvers, B Demoen
23 Compilation of Constraint Handling Rules – G J Duck - 2005
18 Dijkstra’s algorithm with Fibonacci heaps: An executable description – Jon Sneyers, Tom Schrijvers, Bart Demoen - 2006
26 Abstract Interpretation for Constraint Handling Rules – Tom Schrijvers - 2005
19 K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java – Peter Van Weert, Tom Schrijvers, Bart Demoen - 2005
23 Frühwirth: A Linear-Logic Semantics For Constraint Handling Rules – Hariolf Betz - 2005
30 Confluence and Semantics of Constraint Simplification Rules – Slim Abdennadher, Thom Fruhwirth, Holger Meuss - 1999