Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis-Reference-Cited by-同舟云学术

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis

Published:2005 Issue: Volume: Page:113-127
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Frühwirth Thom

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11562931_11.pdf

Reference17 articles.

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

2. Abdennadher, S., Frühwirth, T., Holzbauz, C. (eds.): Special Issue on Constraint Handling Rules, Journal of Theory and Practice of Logic Programming (TPLP). Cambridge University Press (2005) (to appear)

3. Abdennadher, S., Frühwirth, T., Meuss, H.: Confluence and Semantics of Constraint Simplification Rules. Constraints Journal 4(2) (1999)

4. Anderson, R.J., Woll, H.: Wait-free parallel algorithms for the union-find problem. In: STOC 1991: Proceedings of the twenty-third annual ACM symposium on Theory of computing, Revision of November 1994, pp. 370–380. ACM Press, New York (1994)

5. Atallah, M.J., Goodrich, M.T., Kosaraju, S.R.: Parallel algorithms for evaluating sequences of set-manipulation operations. J. ACM 41(6), 1049–1088 (1994)

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

1. Swiss Round Selection Algorithm for Multi-Robot Task Scheduling;Applied Sciences;2024-06-09

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

3. An Improved Ensemble Extreme Learning Machine Based on ARPSO and Tournament-Selection;Lecture Notes in Computer Science;2016

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

5. Diagrammatic confluence for Constraint Handling Rules;Theory and Practice of Logic Programming;2012-07