Complexity Theory Markus Bläser, Balagopal Komarath

News

Stephen A. Cook

Written: 29.10.2019 10:16 Written By: Balagopal Komarath

https://theory.stanford.edu/~trevisan/cs172-07/cook.pdf

 

Note that he reduces to tautological formulas via Turing reductions.



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators