The Computational Power and Complexity of Constraint Handling Rules (2005)

by Jon Sneyers , Tom Schrijvers , Bart Demoen
Venue:In Second Workshop on Constraint Handling Rules, at ICLP05
Citations:47 - 21 self

Active Bibliography

19 Handbook of Constraint Programming – Francesca Rossi, Peter Van Beek, Toby Walsh, Thom Frühwirth, Laurent Michel, Christian Schulte
4 Type processing by constraint reasoning – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2006
14 Automatic Implication Checking for CHR Constraints – Tom Schrijvers, Bart Demoen, Gregory Duck, Peter Stuckey, Thom Frühwirth - 2005
30 Sound and Decidable Type Inference for Functional Dependencies – Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann - 2004
4 CHR for imperative host languages – Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen - 2008
fSlim.Abdennadher, – Michael Marteg Informatik, Slim Abdennadher, Michael Marte - 2000
17 University course timetabling using constraint handling rules – Slim Abdennadher, Michael Marte
2 Classroom Assignment using Constraint Logic Programming – Slim Abdennadher , Matthias Saft, Sebastian Will - 2000
4 CHR rp: Constraint Handling Rules with Rule Priorities – Leslie De Koninck , Tom Schrijvers, Bart Demoen - 2007
4 Buckets, Heaps, Lists, and Monotone Priority Queues – Boris Cherkassky, Krasikova St, Andrew V. Goldberg - 1997
29 A Simple Shortest Path Algorithm with Linear Average Time – Andrew V. Goldberg
11 Experimental Evaluation of a New Shortest Path Algorithm – Seth Pettie, Vijaya Ramachandran, Srinath Sridhar - 2001
43 Exact and Approximate Distances in Graphs - a survey – Uri Zwick - 2001
Notes on Computational Phonology – E. Stabler - 1999
92 A Course in Combinatorial Optimization – Alexander Schrijver - 2004
Extracting Programs from . . . – Martin Sulzmann - 2006
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
3 A type system for CHR – Emmanuel Coquery, François Fages - 2005
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