TY  - JOUR
AU  - Henshall, K
AU  - Schachte, P
AU  - Sondergaard, H
AU  - Whiting, L
Y2  - 2014/05/21
Y1  - 2010
SN  - 1073-0486
UR  - http://hdl.handle.net/11343/29374
LA  - en
PB  - Theory of Computing Exchange
KW  - Computation Theory and Mathematics
T1  - An Algorithm for Affine Approximation of Binary Decision Diagrams
DO  - 10.4086/cjtcs.2010.011
IS  - Chicago Journal of Theoretical Computer Science
VL  - 16
IS  - 1
SP  - 1-26
L1  - /bitstream/handle/11343/29374/278082_155963.pdf?sequence=1&isAllowed=n
ER  -