Arithmetization: A new method in structural complexity theory. Babai, L. & Fortnow, L. Computational Complexity, 1(1):41-66, 1991.
Arithmetization: A new method in structural complexity theory [link]Paper  Arithmetization: A new method in structural complexity theory [pdf]Paper  doi  bibtex   10 downloads  

Downloads: 10