SMS dit: Solving a backtracking intelligently : a case study / Muthukkaruppan Annamalai