The Boolean Formula Value Problem is in ALOGTIME (1987)

by S R Buss
Venue:In Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, STOC ’87