GATutor: A Guided Discovery Based Tutor for Designing Greedy Algorithm | IEEE Conference Publication | IEEE Xplore