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