Exact Pattern-Aware Extraction for Equality Saturation via Bounded-Depth Tree Covering.
Saved in:
| Title: | Exact Pattern-Aware Extraction for Equality Saturation via Bounded-Depth Tree Covering. |
|---|---|
| Authors: | Cheng, Zi1 (AUTHOR), Yuan, Mengting1 (AUTHOR), Zhang, Lefei1 (AUTHOR) zhanglefei@whu.edu.cn |
| Source: | Algorithms. May2026, Vol. 19 Issue 5, p377. 22p. |
| Database: | Academic Search Ultimate |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
