A graph separator theorem and its application to gaussian elimination to optimize boolean expressions for parallel evaluation (1987)

by Thomas J Sheffler