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