 | 2009 |
|---|
| 11 |       | Leslie De Koninck:
Execution Control for CHR.
ICLP 2009: 479-483 |
| 10 | | Leslie De Koninck,
Gregory J. Duck,
Peter J. Stuckey:
Demand-Driven Normalisation for ACD Term Rewriting.
ICLP 2009: 484-488 |
| 9 | | Leslie De Koninck:
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
CoRR abs/0901.1230: (2009) |
| 8 | | Jon Sneyers,
Peter Van Weert,
Tom Schrijvers,
Leslie De Koninck:
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007
CoRR abs/0906.4474: (2009) |
| 7 | | 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 |
|---|
| 6 | | Leslie De Koninck,
Peter J. Stuckey,
Gregory J. Duck:
Optimizing Compilation of CHR with Rule Priorities.
FLOPS 2008: 32-47 |
| 5 | | Gregory J. Duck,
Leslie De Koninck,
Peter J. Stuckey:
Cadmium: An Implementation of ACD Term Rewriting.
ICLP 2008: 531-545 |
| 4 | | Leslie De Koninck,
Tom Schrijvers,
Bart Demoen:
A Flexible Search Framework for CHR.
Constraint Handling Rules 2008: 16-47 |
| 2007 |
|---|
| 3 | | Leslie De Koninck,
Tom Schrijvers,
Bart Demoen:
The Correspondence Between the Logical Algorithms Language and CHR.
ICLP 2007: 209-223 |
| 2 | | Leslie De Koninck,
Tom Schrijvers,
Bart Demoen:
User-definable rule priorities for CHR.
PPDP 2007: 25-36 |
| 2006 |
|---|
| 1 | | Leslie De Koninck,
Tom Schrijvers,
Bart Demoen:
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals.
WLP 2006: 91-100 |
