Leslie De Koninck

According to our database1, Leslie De Koninck authored at least 13 papers between 2006 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
0
1
2
3
4
5
1
1
2
1
1
2
2
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Freight Train Threading with Different Algorithms.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

2011
Constraints in Non-Boolean Contexts.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010
As time goes by: Constraint Handling Rules.
Theory Pract. Log. Program., 2010

2009
Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities.
Theory Pract. Log. Program., 2009

As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007
CoRR, 2009

Demand-Driven Normalisation for ACD Term Rewriting.
Proceedings of the Logic Programming, 25th International Conference, 2009

Execution Control for CHR.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
A Flexible Search Framework for CHR.
Proceedings of the Constraint Handling Rules, 2008

Cadmium: An Implementation of ACD Term Rewriting.
Proceedings of the Logic Programming, 24th International Conference, 2008

Optimizing Compilation of CHR with Rule Priorities.
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007
User-definable rule priorities for CHR.
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

The Correspondence Between the Logical Algorithms Language and CHR.
Proceedings of the Logic Programming, 23rd International Conference, 2007

2006
INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals.
Proceedings of the 20th Workshop on Logic Programming, 2006


  Loading...