Search
Now showing items 1-10 of 11
Complete propagation rules for lexicographic order constraints over arbitrary domains
Frühwirth, Thom (2006)
Beitrag zu einer Konferenz
Complexity of the CHR Rational Tree Equation Solver
Meister, Marc; Frühwirth, Thom; Schrijvers, Tom; Frühwirth, Thom (2006)
Beitrag zu einer Konferenz
Constraint Handling Rules: The Story So Far
Frühwirth, Thom; Maher, M. (2006)
Beitrag zu einer Konferenz
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Schrijvers, T.; Frühwirth, Thom (2006)
Wissenschaftlicher Artikel
Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules
Schrijvers, Tom; Frühwirth, Thom (2006)
Konferenzband
Automatic implication checking for CHR constraints
Schrijvers, T. et al.; Cirstea, H.; Martí-Oliet, N. (2006)
Beitrag zu einer Konferenz
Implementation of an F-Logic Kernel in CHR
Käser, Martin; Meister, Marc; Schrijvers, Tom; Frühwirth, Thom (2006)
Beitrag zu einer Konferenz
Deriving Linear-Time Algorithms from Union-Find in CHR
Frühwirth, Thom; Schrijvers, Tom; Frühwirth, Thom (2006)
Beitrag zu einer Konferenz
Constraints in Procedural and Concurrent Languages
Frühwirth, Thom; Michel, L.; Schulte, C.; Rossi, F.; Beek, P. van; Walsh, T. (2006)
Teil eines Buches
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
Meister, Marc; Djelloul, Khalil; Frühwirth, Thom; Azevedo, F.; Barahona, P.; Fages, F.; Rossi, F. (2006)
Beitrag zu einer Konferenz