Leslie De Koninck

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 0

Top Topics

Computationally Expensive

Theoretical Analysis

Orders Of Magnitude

Top Venues

Publications

Ilankaikone Senthooran, Mark Wallace, Leslie De Koninck
Freight Train Threading with Different Algorithms. CPAIOR (2015)
Leslie De Koninck, Sebastian Brand, Peter J. Stuckey
Constraints in Non-Boolean Contexts. ICLP (Technical Communications) (2011)
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck
As time goes by: Constraint Handling Rules. Theory Pract. Log. Program. 10 (1) (2010)
Leslie De Koninck
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities CoRR (2009)
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 (2009)
Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey
Demand-Driven Normalisation for ACD Term Rewriting. ICLP (2009)
Leslie De Koninck
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities. Theory Pract. Log. Program. 9 (2) (2009)
Leslie De Koninck
Execution Control for CHR. ICLP (2009)
Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck
Optimizing Compilation of CHR with Rule Priorities. FLOPS (2008)
Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey
Cadmium: An Implementation of ACD Term Rewriting. ICLP (2008)
Leslie De Koninck, Tom Schrijvers, Bart Demoen
The Correspondence Between the Logical Algorithms Language and CHR. ICLP (2007)
Leslie De Koninck, Tom Schrijvers, Bart Demoen
User-definable rule priorities for CHR. PPDP (2007)
Leslie De Koninck, Tom Schrijvers, Bart Demoen
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. WLP (2006)