Pereira, André G.; Ritt, Marcus; Buriol, Luciana S. Pull and PushPull are PSPACE-complete. (English) Zbl 1338.68088 Theor. Comput. Sci. 628, 50-61 (2016). MSC: 68Q17 68T40 × Cite Format Result Cite Review PDF Full Text: DOI
Pereira, André G.; Ritt, Marcus; Buriol, Luciana S. Optimal Sokoban solving using pattern databases with specific domain knowledge. (English) Zbl 1346.68180 Artif. Intell. 227, 52-70 (2015). MSC: 68T20 68P15 × Cite Format Result Cite Review PDF Full Text: DOI