Solving Atomix with Pattern Databases | IEEE Conference Publication | IEEE Xplore