TY - CONF A1 - Clausecker, Robert A1 - Kaiser, Benjamin T1 - Sliding Tile Puzzles T2 - Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions Y1 - 2021 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/9295 UR - http://hdl.handle.net/10138/333647 SP - 57 ER -