Books and proceedings
- Erika Ábrahám and Klaus Havelund, editors. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, volume 8413 of Lecture Notes in Computer Science, 2014. Springer. ISBN: 978-3-642-54861-1. [WWW] [doi:10.1007/978-3-642-54862-8]
Thesis
- Leslie De Koninck. Execution Control for Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): priorities, complexity, related formalisms.
Articles in journal, book chapters
- Leslie De Koninck. Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities. TPLP, 9(2):165-212, March 2009. [doi:10.1017/S1471068409003664] Keyword(s): priorities, related formalisms, complexity.
- Martin Sulzmann and Peter J. Stuckey. HM(X) Type Inference is CLP(X) Solving. Journal of Functional Programming, 18(2):251-283, 2008. [doi:10.1017/S0956796807006569] Keyword(s): type systems.
- Tom Schrijvers and Thom Frühwirth. Optimal union-find in Constraint Handling Rules. TPLP, 6(1--2):213-224, 2006. ISSN: 1471-0684. [doi:10.1017/S1471068405002541] Keyword(s): algorithms.
Conference articles
- Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. CHR-Graph: A Platform for Animating Tree and Graph Algorithms. In 21st International Conference Information Visualisation, IV, pages 11-14, July 2017.
- Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. A Rule-Based Approach for Animating Java Algorithms. In Information Visualisation (IV), 2016 20th International Conference, pages 141-145, 2016. IEEE.
- Alia El Bolock, Amira Zaki, and Thom Frühwirth. Substitution-based CHR Solver for Bivariate Binomial Equation Sets. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 41-50, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, algorithms, CHR 2012, CHR 2012.
- J. Cheney. Satisfiability algorithms for conjunctive queries over trees. In Proceedings of the 14th International Conference on Database Theory, pages 150-161, 2011. ACM.
- Slim Abdennadher, Haythem Ismail, and Frederick Khoury. Transforming Imperative Algorithms to Constraint Handling Rules. In A. Wolf and U. Geske, editors, WLP '09: Proc. 23rd Workshop on (Constraint) Logic Programming, 2010. Universität Potsdam. [WWW]
- Peter Van Weert. Join Ordering for Constraint Handling Rules: Putting Theory into Practice. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, implementation, optimizing compilation, CHR 2010, CHR 2010.
- François Degrave, Tom Schrijvers, and Wim Vanhoof. Automatic generation of test inputs for Mercury. In M. Hanus, editor, LOPSTR08l, volume 5438 of LNCS, 2009. SV. [doi:10.1007/978-3-642-00515-2] Keyword(s): applications, testing.
- Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integration of abductive reasoning and constraint optimization in SCIFF. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 387-401, July 2009. SV. [doi:10.1007/978-3-642-02846-5_32] Keyword(s): abduction.
- Thom Frühwirth. Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. In Recent Advances in Constraints --- CSCLP '07: 12th ERCIM Intl. Workshop on Constraint Solving and Constraint Logic Programming, Revised Selected Papers, pages 91-118, November 2008. [doi:10.1007/978-3-540-89812-2_7] Keyword(s): algorithms.
- Frank Raiser. Semi-automatic generation of CHR solvers from global constraint automata. In Peter J. Stuckey, editor, CP08l, volume 5202 of LNCS, pages 588-592, September 2008. SV. [doi:10.1007/978-3-540-85958-1_47] Keyword(s): program generation.
- Anders Schack-Nielsen and Carsten Schürmann. The CHR-Celf Connection. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 1-2, 2008. RISC Report Series 08-10, University of Linz, Austria. Note: Invited Talk. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
- Leslie De Koninck, Tom Schrijvers, and Bart Demoen. The Correspondence Between the Logical Algorithms Language and CHR. In V. Dahl and I. Niemelä, editors, ICLP07l, volume 4670 of LNCS, pages 209-223, September 2007. SV. [doi:10.1007/978-3-540-74610-2_15] Keyword(s): related formalisms.
- Marc Meister. Concurrency of the preflow-push algorithm in Constraint Handling Rules. In CSCLP'07: Proc. 12th Intl. Workshop on Constraint Solving and Constraint Logic Programming, pages 160-169, 2007. Keyword(s): algorithms, parallelism.
- Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR$^{\lor}$: An Extended Refined Operational Semantics for CHR$^{\lor}$ Based On Justifications. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 1-15, September 2007. [PDF] Keyword(s): semantics, disjunction, CHR 2007, CHR 2007, CHR 2007.
- Thom Frühwirth. Deriving Linear-Time Algorithms from Union-Find in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 49-60, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, algorithms, CHR 2006, CHR 2006.
- Marc Meister. Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 172-181, February 2006. Keyword(s): algorithms, parallelism.
- Marc Meister, Khalil Djelloul, and Thom Frühwirth. Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. In F. Azevedo and others, editors, CSCLP '06: Proc. 11th Annual ERCIM Workshop on Constraint Solving and Constraint Programming, volume 4651 of LNCS, pages 139-153, June 2006. SV. ISBN: 978-3-540-73816-9. [doi:10.1007/978-3-540-73817-6_9] Keyword(s): complexity, algorithms.
- Marc Meister and Thom Frühwirth. Complexity of the CHR Rational Tree Equation Solver. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 77-91, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, complexity, algorithms, CHR 2006, CHR 2006.
- Jon Sneyers, Tom Schrijvers, and Bart Demoen. Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 182-191, February 2006. Keyword(s): algorithms.
- Thom Frühwirth. Parallelizing Union-Find in Constraint Handling Rules Using Confluence. In M. Gabbrielli and G. Gupta, editors, ICLP05l, volume 3668 of LNCS, pages 113-127, October 2005. SV. Keyword(s): confluence, algorithms, parallelism.
- Tom Schrijvers and Thom Frühwirth. Analysing the CHR Implementation of Union-Find. In A. Wolf, Th. Frühwirth, and M. Meister, editors, W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of UIB, pages 135-146, February 2005. [WWW] Keyword(s): algorithms, complexity.
- Liviu Badea and Doina Tilivea. Intelligent Information Integration as a Constraint Handling Problem. In FQAS '02: Proc. 5th Intl. Conf. on Flexible Query Answer Systems, volume 2522 of LNCS, October 2002. SV. [doi:10.1007/3-540-36109-X_2]
- Harald Ganzinger and David A. McAllester. Logical Algorithms. In P. J. Stuckey, editor, ICLP02l, volume 2401 of LNCS, pages 209-223, jul/aug 2002. SV. Keyword(s): related formalisms.
Internal reports
- Leslie De Koninck, Tom Schrijvers, and Bart Demoen. The Correspondence Between the Logical Algorithms Language and CHR. Technical report CW 480, KULCW, Leuven, Belgium, March 2007. [WWW] Keyword(s): related formalisms, priorities.
BACK TO INDEX