%0 Conference Paper %1 conf/fun/AbelBDHHKLR18 %A Abel, Zachary %A Bosboom, Jeffrey %A Demaine, Erik D. %A Hamilton, Linus %A Hesterberg, Adam %A Kopinsky, Justin %A Lynch, Jayson %A Rudoy, Mikhail %B FUN %D 2018 %E Ito, Hiro %E Leonardi, Stefano %E Pagli, Linda %E Prencipe, Giuseppe %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 3:1-3:21 %T Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible. %U http://dblp.uni-trier.de/db/conf/fun/fun2018.html#AbelBDHHKLR18 %V 100 %@ 978-3-95977-067-5

@inproceedings{conf/fun/AbelBDHHKLR18, added-at = {2018-08-23T00:00:00.000+0200}, author = {Abel, Zachary and Bosboom, Jeffrey and Demaine, Erik D. and Hamilton, Linus and Hesterberg, Adam and Kopinsky, Justin and Lynch, Jayson and Rudoy, Mikhail}, biburl = {https://www.bibsonomy.org/bibtex/2368d736618fe819dcd4e11f2f8d62740/dblp}, booktitle = {FUN}, crossref = {conf/fun/2018}, editor = {Ito, Hiro and Leonardi, Stefano and Pagli, Linda and Prencipe, Giuseppe}, ee = {https://doi.org/10.4230/LIPIcs.FUN.2018.3}, interhash = {47e51ba2b711ce18fae06002b5688c29}, intrahash = {368d736618fe819dcd4e11f2f8d62740}, isbn = {978-3-95977-067-5}, keywords = {dblp}, pages = {3:1-3:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T00:58:16.000+0200}, title = {Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible.}, url = {http://dblp.uni-trier.de/db/conf/fun/fun2018.html#AbelBDHHKLR18}, volume = 100, year = 2018 }