Return to Article Details Solving Atomix with Pattern Databases Download Download PDF