The Boolean Formula Value Problem Is in ALOGTIME

Samuel R. Buss

Browse the full STOC paper archive.