On the complexity of circuit satisfiability.

Ramamohan Paturi, Pavel Pudlk

Browse the full STOC paper archive.