| 2009 |
|---|
| 7 | EE | Leslie De Koninck:
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
CoRR abs/0901.1230: (2009) |
| 6 | EE | Leslie De Koninck:
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities.
TPLP 9(2): 165-212 (2009) |
| 2008 |
|---|
| 5 | EE | Leslie De Koninck,
Peter J. Stuckey,
Gregory J. Duck:
Optimizing Compilation of CHR with Rule Priorities.
FLOPS 2008: 32-47 |
| 4 | EE | Gregory J. Duck,
Leslie De Koninck,
Peter J. Stuckey:
Cadmium: An Implementation of ACD Term Rewriting.
ICLP 2008: 531-545 |
| 2007 |
|---|
| 3 | EE | Leslie De Koninck,
Tom Schrijvers,
Bart Demoen:
The Correspondence Between the Logical Algorithms Language and CHR.
ICLP 2007: 209-223 |
| 2 | EE | Leslie De Koninck,
Tom Schrijvers,
Bart Demoen:
User-definable rule priorities for CHR.
PPDP 2007: 25-36 |
| 2006 |
|---|
| 1 | EE | Leslie De Koninck,
Tom Schrijvers,
Bart Demoen:
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals.
WLP 2006: 91-100 |
