Submit Blog

Sign up Sign in

Search Articles

Filter by Tag

Sort By

Popular Tags

Union Find Articles

Page 1 of 1 (2 articles)

Contextual Union Finds

1/14/2026 • EN

Contextual Union Finds

Explores contextual union finds for rewriting under assumptions in egraph systems, comparing dense and sparse implementations.

Assumptions Contextual Egraph Rewriting Union Find

An Inequality Union Find Inspired by Atomic Asymmetric Completion

12/22/2025 • EN

An Inequality Union Find Inspired by Atomic Asymmetric Completion

Explores asymmetric completion, a union-find algorithm variant for inequality reasoning, with Python implementation insights.

Asymmetric Completion Egraph Rewrite Systems Term Rewriting Union Find