Ramamohan Paturi, Pavel Pudlák
On the complexity of circuit satisfiability
STOC, 2010.
@inproceedings{STOC-2010-PaturiP, author = "Ramamohan Paturi and Pavel Pudlák", booktitle = "{Proceedings of the 42nd Annual ACM Symposium on Theory of Computing}", doi = "10.1145/1806689.1806724", isbn = "978-1-4503-0050-6", pages = "241--250", publisher = "{ACM}", title = "{On the complexity of circuit satisfiability}", year = 2010, }