Integration and Optimization of Rule-Based Constraint Solvers-Reference-Cited by-同舟云学术

Integration and Optimization of Rule-Based Constraint Solvers

Published:2004 Issue: Volume: Page:198-213
ISSN:0302-9743
Container-title:Logic Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Abdennadher Slim,Frühwirth Thom

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-25938-1_17.pdf

Reference18 articles.

1. Lecture Notes in Computer Science;S. Abdennadher,1997

2. Lecture Notes in Computer Science;S. Abdennadher,1998

3. Lecture Notes in Computer Science;S. Abdennadher,1999

4. Abdennadher, S., Frühwirth, T.: Using program analysis for integration and optimization of rule-based constraint solvers. In: Onziemes Journees Francophones de Programmation Logique et Programmation par Contraintes (JFPLC 2002) (2002)

5. Abdennadher, S., Frühwirth, T., Meuss, H.: Confluence and semantics of constraint simplification rules. Constraints Journal 4(2) (May 1999)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Parallelism, concurrency and distribution in constraint handling rules: A survey;Theory and Practice of Logic Programming;2018-05-23

2. Implementation of Logical Retraction in Constraint Handling Rules with Justifications;Declarative Programming and Knowledge Management;2018

3. On proving confluence modulo equivalence for Constraint Handling Rules;Formal Aspects of Computing;2017-01

4. Constraint Handling Rules - What Else?;Rule Technologies: Foundations, Tools, and Applications;2015

5. Exhaustive Execution of CHR Through Source-to-Source Transformation;Logic-Based Program Synthesis and Transformation;2015