Learning logic, search and cracking through a number guessing game. - Tsui Qin Mok; Wei-Ming Mau; Calvin Weng-Kit Wong; Kian-Wheng Koay; Meng-Jeat Cheng; Chien-Sing Lee (ICCE, 2018)