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]

@inproceedings{GoosS11,
  title = {Locally checkable proofs},
  author = {Mika Göös and Jukka Suomela},
  year = {2011},
  doi = {10.1145/1993806.1993829},
  url = {http://doi.acm.org/10.1145/1993806.1993829},
  researchr = {https://researchr.org/publication/GoosS11},
  cites = {0},
  citedby = {0},
  pages = {159-168},
  booktitle = {Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, PODC 2011, San Jose, CA, USA, June 6-8, 2011},
  editor = {Cyril Gavoille and Pierre Fraigniaud},
  publisher = {ACM},
  isbn = {978-1-4503-0719-2},
}