Public

Computational Complexity: Proof complexity

Published • 2009

NobleIDNI6P90W95R54S16

Authors:

Sanjeev Arora

,

Boaz Barak

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!