Active Bibliography

30 Handbook of Constraint Programming – Francesca Rossi, Peter Van Beek, Toby Walsh, Thom Frühwirth, Laurent Michel, Christian Schulte
fSlim.Abdennadher, – Michael Marteg Informatik, Slim Abdennadher, Michael Marte - 2000
2 Classroom Assignment using Constraint Logic Programming – Slim Abdennadher , Matthias Saft, Sebastian Will - 2000
18 University course timetabling using constraint handling rules – Slim Abdennadher, Michael Marte
4 CHR rp: Constraint Handling Rules with Rule Priorities – Leslie De Koninck , Tom Schrijvers, Bart Demoen - 2007
34 A Simple Shortest Path Algorithm with Linear Average Time – Andrew V. Goldberg
4 Buckets, Heaps, Lists, and Monotone Priority Queues – Boris Cherkassky, Krasikova St, Andrew V. Goldberg - 1997
57 Exact and Approximate Distances in Graphs - a survey – Uri Zwick - 2001
13 Experimental Evaluation of a New Shortest Path Algorithm (Extended Abstract) – Seth Pettie, Vijaya Ramachandran, Srinath Sridhar - 2002
Notes on Computational Phonology – E. Stabler - 1999
146 A Course in Combinatorial Optimization – Alexander Schrijver - 2004
3 Modular CHR with ask and tell – François Fages, Thierry Martinez, Cleyton Mario, Oliveira Rodrigues
29 Parallelizing union-find in Constraint Handling Rules using confluence analysis – Thom Frühwirth - 2005
4 Union-Find in CHR – Tom Schrijvers, Thom Frühwirth, Tom Schrijvers, Thom Frühwirth, Tom Schrijvers, Thom Frühwirth - 2004
11 Analysing the CHR implementation of unionfind – Tom Schrijvers, Thom Frühwirth
4 Type processing by constraint reasoning – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2006
32 Sound and Decidable Type Inference for Functional Dependencies – Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann - 2004
Welcome to Constraint Handling Rules – Thom Frühwirth
A Complete and Terminating . . . for Constraint Handling Rules – Hariolf Betz, Frank Raiser, Thom Frühwirth - 2010