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

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