An Algorithm for Affine Approximation of Binary Decision Diagrams
No Preview Available
Citations
Altmetric:
Altmetric::
Download
Associated Records
Authors
File Licence
Editors
Date
2010
Source Title
Chicago Journal of Theoretical Computer Science
Journal Title
Journal ISSN
Volume Title
Publisher
Theory of Computing Exchange
Melbourne Authors
Affiliation
Computer Science and Software Engineering
Document Type
Journal Article
Subject Code
Citation
Henshall, K., Schachte, P., Sondergaard, H. & Whiting, L. (2010). An Algorithm for Affine Approximation of Binary Decision Diagrams. Chicago Journal of Theoretical Computer Science, 16 (1), pp.1-26. https://doi.org/10.4086/cjtcs.2010.011.
Access Status
This item is currently not available from this repository
Access URL
Open Access URL
Open Access at PMC
Linked Resource URL
NHMRC Grant Code
ARC Grant Code
Description
Abstract
Notes
Terms of Use
Keywords
Computation Theory and Mathematics