Optimal union-find in Constraint Handling Rules
From MaRDI portal
Publication:3426204
DOI10.1017/S1471068405002541zbMath1109.68029MaRDI QIDQ3426204
Tom Schrijvers, Thom Frühwirth
Publication date: 8 March 2007
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068405002541
time complexity analysis; constraint handling rules; union-find algorithm; declarative algorithms; disjoint-set problem
68N17: Logic programming
Related Items
Description and Optimization of Abstract Machines in a Dialect of Prolog, Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR, Attributed Data for CHR Indexing, Transactions in Constraint Handling Rules, As time goes by: Constraint Handling Rules, Adaptive CHR Meets CHR ∨