1,686 research outputs found
Optimal Union-Find in Constraint Handling Rules
Constraint Handling Rules (CHR) is a committed-choice rule-based language
that was originally intended for writing constraint solvers. In this paper we
show that it is also possible to write the classic union-find algorithm and
variants in CHR. The programs neither compromise in declarativeness nor
efficiency. We study the time complexity of our programs: they match the
almost-linear complexity of the best known imperative implementations. This
fact is illustrated with experimental results.Comment: 12 pages, 3 figures, to appear in Theory and Practice of Logic
Programming (TPLP
§134.41(m) TABLE OF CONTENTS 25 Texas Administrative Code Chapter 134. Private Psychiatric Hospitals and Crisis Stabilization Units
Press package for Roll Call from the House Rules Committee Democrats on Republican Broken Promises, circa 1995
https://dc.suffolk.edu/moakley-docs/1745/thumbnail.jp
Determinate and Indeterminate Sentence Law Comparison Study: Feasibility of Adapting Law to a Sentencing Commission Guideline Approach
- …
