Leslie De Koninck

14 papers B 5C 1Misc 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2015 B conf
Freight Train Threading with Different Algorithms.
CPAIOR
Ilankaikone Senthooran, Mark Wallace, Leslie De Koninck
2011 — conf
Constraints in Non-Boolean Contexts.
ICLP (Technical Communications)
Leslie De Koninck, Sebastian Brand, Peter J. Stuckey
2010 J jnl
As time goes by: Constraint Handling Rules.
Theory Pract. Log. Program.
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck
2009 J jnl
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007
CoRR
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck
2009 B conf
Demand-Driven Normalisation for ACD Term Rewriting.
ICLP
Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey
2009 B conf
Execution Control for CHR.
ICLP
Leslie De Koninck
2009 J jnl
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
CoRR
Leslie De Koninck
2009 J jnl
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities.
Theory Pract. Log. Program.
Leslie De Koninck
2008 — ch.
A Flexible Search Framework for CHR.
Constraint Handling Rules
Leslie De Koninck, Tom Schrijvers, Bart Demoen
2008 B conf
Cadmium: An Implementation of ACD Term Rewriting.
ICLP
Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey
2008 Misc conf
Optimizing Compilation of CHR with Rule Priorities.
FLOPS
Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck
2007 B conf
The Correspondence Between the Logical Algorithms Language and CHR.
ICLP
Leslie De Koninck, Tom Schrijvers, Bart Demoen
2007 C conf
User-definable rule priorities for CHR.
PPDP
Leslie De Koninck, Tom Schrijvers, Bart Demoen
2006 — conf
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals.
WLP
Leslie De Koninck, Tom Schrijvers, Bart Demoen