Searching for "Constraint Handling Rules" – sorted by Relevance.
314 documents found, showing 1 through 10.
Next 10 →
-
Welcome to Constraint Handling Rules
- …Welcome to Constraint Handling Rules Thom Frühwirth University of Ulm, Germany www…
- Add To MetaCart
-
Constraint Handling Rules
- …Constraint Handling Rules ? Thom Fruhwirth ECRC, Arabellastrasse 17, D-81925 Munich, Germany…
- Cited by 127 (14 self) – Add To MetaCart
-
On Confluence of Constraint Handling Rules
- … Oettingenstra��e 67, D--80538 Munchen On Confluence of Constraint Handling Rules Slim Abdennadher, Thom…
- Cited by 6 (3 self) – Add To MetaCart
-
Transactions in Constraint Handling Rules
- …Transactions in Constraint Handling Rules Tom Schrijvers and Martin Sulzmann 1 Department…
- Add To MetaCart
-
Observable confluence for constraint handling rules
- … Observable Confluence for Constraint Handling Rules Gregory J. Duck1, Peter J. Stuckey1…
- Cited by 5 (1 self) – Add To MetaCart
-
Temporal Reasoning with Constraint Handling Rules
- …Technical Report ECRC-94-05 February 16, 1994 Temporal Reasoning with Constraint Handling Rules…
- Cited by 12 (3 self) – Add To MetaCart
-
Theory and Practice of Constraint Handling Rules
- …J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 Theory and Practice of Constraint Handling Rules Thom…
- Cited by 275 (29 self) – Add To MetaCart
-
Terminological Reasoning with Constraint Handling Rules
- …1 Terminological Reasoning with Constraint Handling Rules Chapter 19 in Principles and Practice…
- Add To MetaCart
-
Optimizing Compilation of Constraint Handling Rules
- …Optimizing Compilation of Constraint Handling Rules Christian Holzbaur 1 , Mara Garca de la Banda…
- Cited by 28 (7 self) – Add To MetaCart
-
Abstract Interpretation for Constraint Handling Rules
- …Abstract Interpretation for Constraint Handling Rules ABSTRACT Tom Schrijvers ∗ Department…
- Cited by 15 (11 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
