Leigh Whiting

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall
Information loss in knowledge compilation: A comparison of Boolean envelopes. Artif. Intell. 174 (9-10) (2010)
Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting
An Algorithm for Affine Approximation of Binary Decision Diagrams. Chic. J. Theor. Comput. Sci. 2010 (2010)
Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting
Boolean Affine Approximation with Binary Decision Diagrams. CATS (2009)
Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting
Binary Decision Diagrams for Affine Approximation CoRR (2008)