Solving the Rubik's Cube with a PDDL Planner
Channel: AI Institute at UofSC - #AIISC
Date: 2022-04-22

Rubik's Cube (RC) is a popular puzzle that is also computationally hard to solve. In this demonstration, we  introduce the first PDDL formulation for the 3-dimension RC and solve it with off-the-shelf Fast-Downward planner. We also create a plan executor and visualizer to show how the plan achieves the intended goal. Our system has two audiences: (a) planning researchers  who can explore a hard problem, and (b)  RC learners wanting to learn how to solve the puzzle at their own pace.