Kevin Henshall Peter Schachte Harald Søndergaard Leigh Whiting Binary Decision Diagrams for Affine Approximation http://arxiv.org/abs/0804.0066 2008 CoRR abs/0804.0066 db/journals/corr/corr0804.html#abs-0804-0066 informal publication