Relating Branching Program Size and Formula Size over the Full Binary Basis.

Martin Sauerhoff, Ingo Wegener, Ralph Werchner

Browse the full STACS paper archive.