Solving puzzles using knowledge-based automation: biomimicry of human solvers. - Syifa Fauzia; Sean Chen; Ren-Jung Hsu; Rex Chen; Chi-Ming Chen (Complex Intell. Syst., 2024)