## 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 |