Gliesch, Alex, & Marcus Ritt.
"Solving Atomix with Pattern Databases." <em>BRACIS</em> [Online], (2016): n. pag. Web.  1 Dec. 2024