Binary Decision Diagrams for Affine Approximation - Kevin Henshall; Peter Schachte; Harald Søndergaard; Leigh Whiting (CoRR, 2008)

Boolean Affine Approximation with Binary Decision Diagrams. - Kevin Henshall; Peter Schachte; Harald Søndergaard; Leigh Whiting (CATS, 2009)

Information loss in knowledge compilation: A comparison of Boolean envelopes. - Peter Schachte; Harald Søndergaard; Leigh Whiting; Kevin Henshall (Artif. Intell., 2010)

An Algorithm for Affine Approximation of Binary Decision Diagrams. - Kevin Henshall; Peter Schachte; Harald Søndergaard; Leigh Whiting (Chic. J. Theor. Comput. Sci., 2010)