Subquadratic simulations of balanced formulae by branching programs.
Saved in:
| Title: | Subquadratic simulations of balanced formulae by branching programs. |
|---|---|
| Authors: | Cai, Jin-Yi, Lipton, Richard J. |
| Source: | SIAM Journal on Computing; June 1994, Vol. 23, p563-572, 10p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00975397 |
|---|---|
| DOI: | 10.1137/S0097539790181336 |
