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 -