View in EDS PDF Full Text

Polynomial Bounds of CFLOBDDs against BDDs.

Saved in:
Bibliographic Details
Title: Polynomial Bounds of CFLOBDDs against BDDs.
Authors: Zhi, Xusheng1, xusheng142@gmail.com, Reps, Thomas2, reps@cs.wisc.edu
Source: ACM Transactions on Programming Languages & Systems; Jun2025, Vol. 47 Issue 2, p1-36, 36p
Database: Applied Science & Technology Source
Description
ISSN:01640925
DOI:10.1145/3716313