Gliesch, Alex, & Marcus Ritt. "Solving Atomix with Pattern Databases." BRACIS [Online], (2016): n. pag. Web. 19 Sep. 2024