Return to Conference Proceedings Submission Details Learning logic, search and cracking through a number guessing game Download Download PDF