Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR

DOI10.1007/978-3-540-89812-2_7MaRDI QIDQ5302727zbMATH OpenOpenAlexFDO

Authors Thom Frühwirth

Publication date 13 January 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89812-2_7

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Optimal union-find in Constraint Handling Rules
• Logic Programming
• Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
• scientific article; zbMATH DE number 4062625
• Fast congruence closure and extensions

Cites work

• A fast algorithm for solving systems of linear equations with two variables per equation
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• scientific article; zbMATH DE number 1566503 (Why is no real title available?)
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Logic Programming
• Logic Programming
• LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
• On the shortest spanning subtree of a graph and the traveling salesman problem
• Optimal union-find in Constraint Handling Rules
• Theory and practice of constraint handling rules
• Welcome to Constraint Handling Rules
• Worst-case Analysis of Set Union Algorithms

Cited in

(5)

• A linear-time algorithm for a special case of disjoint set union
• Average running time analysis of an algorithm to calculate the size of the union of Cartesian products.
• Optimal union-find in Constraint Handling Rules
• Corrigendum to ``A simple and efficient union-find-delete algorithm
• scientific article; zbMATH DE number 7650865 (Why is no real title available?)

Describes a project that uses

Uses Software

• Ltur

This page was built for publication: Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5302727)