Locally checkable proofs

Mika Göös, Jukka Suomela. Locally checkable proofs. In Cyril Gavoille, Pierre Fraigniaud, editors, Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, PODC 2011, San Jose, CA, USA, June 6-8, 2011. pages 159-168, ACM, 2011. [doi]

Authors

Mika Göös

This author has not been identified. Look up 'Mika Göös' in Google

Jukka Suomela

This author has not been identified. Look up 'Jukka Suomela' in Google