Books and proceedings
- Jon Sneyers and Thom Frühwirth, editors. CHR12l, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): CHR 2012.
Conference articles
- 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.
- Henning Christiansen. An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 1-15, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012.
- János Csorba, Zsolt Zombori, and Péter Szeredi. Pros and Cons of Using CHR for Type Inference. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 16-31, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): type systems, CHR 2012, CHR 2012.
- Verónica Dahl and Juan Emilio Miralles. Womb Grammars: Constraint Solving for Grammar Induction. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 32-40, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): linguistics, CHR 2012, CHR 2012.
- Rémy Haemmerlé. Coinductive Proof over Streams as CHR Confluence Proofs. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 51-65, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): confluence, CHR 2012, CHR 2012.
- Ester Martìnez-Martin, M. Teresa Escrig, and Angel P. Del Pobil. Qualitative Velocity Model: Representation, Reasoning and Application. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 66-81, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012.
- Amira Zaki, Thom Frühwirth, and Ilvar Geller. Parallel Execution of Constraint Handling Rules on a Graphical Processing Unit. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 82-90, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): parallelism, implementation, CHR 2012, CHR 2012.
BACK TO INDEX