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

Zachary Abel, Jeffrey Bosboom, Erik D. Demaine, Linus Hamilton, Adam Hesterberg, Justin Kopinsky, Jayson Lynch, Mikhail Rudoy. Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible. In Hiro Ito, Stefano Leonardi, Linda Pagli, Giuseppe Prencipe, editors, 9th International Conference on Fun with Algorithms, FUN 2018, June 13-15, 2018, La Maddalena, Italy. Volume 100 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

@inproceedings{AbelBDHHKLR18,
  title = {Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible},
  author = {Zachary Abel and Jeffrey Bosboom and Erik D. Demaine and Linus Hamilton and Adam Hesterberg and Justin Kopinsky and Jayson Lynch and Mikhail Rudoy},
  year = {2018},
  doi = {10.4230/LIPIcs.FUN.2018.3},
  url = {https://doi.org/10.4230/LIPIcs.FUN.2018.3},
  researchr = {https://researchr.org/publication/AbelBDHHKLR18},
  cites = {0},
  citedby = {0},
  booktitle = {9th International Conference on Fun with Algorithms, FUN 2018, June 13-15, 2018, La Maddalena, Italy},
  editor = {Hiro Ito and Stefano Leonardi and Linda Pagli and Giuseppe Prencipe},
  volume = {100},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-067-5},
}