@inproceedings{ClauseckerKaiser2021, author = {Robert Clausecker and Benjamin Kaiser}, title = {Sliding Tile Puzzles}, booktitle = {Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions}, pages = {57}, url = {http://hdl.handle.net/10138/333647}, year = {2021}, }