%0 Conference Paper %1 conf/fun/AniCDDHL22 %A Ani, Joshua %A Chung, Lily %A Demaine, Erik D. %A Diomidov, Yevhenii %A Hendrickson, Dylan H. %A Lynch, Jayson %B FUN %D 2022 %E Fraigniaud, Pierre %E Uno, Yushi %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 3:1-3:30 %T Pushing Blocks via Checkable Gadgets: PSPACE-Completeness of Push-1F and Block/Box Dude. %U http://dblp.uni-trier.de/db/conf/fun/fun2022.html#AniCDDHL22 %V 226 %@ 978-3-95977-232-7

@inproceedings{conf/fun/AniCDDHL22, added-at = {2022-05-23T00:00:00.000+0200}, author = {Ani, Joshua and Chung, Lily and Demaine, Erik D. and Diomidov, Yevhenii and Hendrickson, Dylan H. and Lynch, Jayson}, biburl = {https://www.bibsonomy.org/bibtex/299e2ddd6228d6959528c29d6c6ca1815/dblp}, booktitle = {FUN}, crossref = {conf/fun/2022}, editor = {Fraigniaud, Pierre and Uno, Yushi}, ee = {https://doi.org/10.4230/LIPIcs.FUN.2022.3}, interhash = {cbd5e6c33077a95abf5581dc7129cae9}, intrahash = {99e2ddd6228d6959528c29d6c6ca1815}, isbn = {978-3-95977-232-7}, keywords = {dblp}, pages = {3:1-3:30}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:40:00.000+0200}, title = {Pushing Blocks via Checkable Gadgets: PSPACE-Completeness of Push-1F and Block/Box Dude.}, url = {http://dblp.uni-trier.de/db/conf/fun/fun2022.html#AniCDDHL22}, volume = 226, year = 2022 }