Algorithms for Boolean Formula Evaluation and for Tree Contraction (1991)

by Samuel R. Buss
Venue:Arithmetic, Proof Theory and Computational Complexity
Citations:17 - 0 self