AI in Game Playing: Sokoban Solver. - Anand Venkatesan; Atishay Jain; Rakesh Grewal (CoRR, 2018)