3/14/2026
•
EN
Monus, Factor, and Thinning Union Finds
Explores advanced union-find data structures with annotations like offsets and thinnings for e-graphs and de Bruijn index manipulation.
