Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible

Zachary Abel, Jeffrey Bosboom, Michael J. Coulombe, Erik D. Demaine, Linus Hamilton, Adam Hesterberg, Justin Kopinsky, Jayson Lynch, Mikhail Rudoy, Clemens Thielen. Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible. Theoretical Computer Science, 839:41-102, 2020. [doi]

@article{AbelBCDHHKLRT20,
  title = {Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible},
  author = {Zachary Abel and Jeffrey Bosboom and Michael J. Coulombe and Erik D. Demaine and Linus Hamilton and Adam Hesterberg and Justin Kopinsky and Jayson Lynch and Mikhail Rudoy and Clemens Thielen},
  year = {2020},
  doi = {10.1016/j.tcs.2020.05.031},
  url = {https://doi.org/10.1016/j.tcs.2020.05.031},
  researchr = {https://researchr.org/publication/AbelBCDHHKLRT20},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {839},
  pages = {41-102},
}