Sliding Tile Puzzles
| Author: | Robert Clausecker, Benjamin KaiserORCiD |
|---|---|
| Document Type: | In Proceedings |
| Parent Title (English): | Proceedings of SAT Competition 2021 : Solver and Benchmark Descriptions |
| First Page: | 57 |
| Year of first publication: | 2021 |
| URL: | http://hdl.handle.net/10138/333647 |

