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