Journal article
An algorithm for affine approximation of binary decision diagrams
K Henshall, P Schachte, H SONDERGAARD, L Whiting
Chicago Journal of Theoretical Computer Science | Department of Computer Science, The University of Chicago | Published : 2010