20 citations · 53 across the 11 of their papers we have counts for
1 paper · 1 filter
Shiguang Feng, Zongxing Xiong, Lvzhou Li
Transformation rules play a central role in reversible circuit optimization, template-based rewriting, and equivalence checking, and establishing their completeness is a fundamenta…