Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting. Boolean Affine Approximation with Binary Decision Diagrams. In Rod Downey, Prabhu Manyem, editors, Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009. Volume 94 of CRPIT, pages 119-127, Australian Computer Society, 2009. [doi]
Abstract is missing.