Reducing BDD size by exploiting functional dependencies

Publisher Website

1 January 1993

proceedings article
Published by Association for Computing Machinery (ACM)

p. 266-271
https://doi.org/10.1145/157485.164888

Abstract

No abstract available

Cited by 38 articles