View in EDS HTML Full Text PDF Full Text

Exact Pattern-Aware Extraction for Equality Saturation via Bounded-Depth Tree Covering.

Saved in:
Bibliographic Details
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.
Description
ISSN:19994893
DOI:10.3390/a19050377