Polynomial Bounds of CFLOBDDs against BDDs.

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