Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide. Syrus: providing practice problems in discrete mathematics with instant feedback. In J. D. Dougherty, Kris Nagel, Adrienne Decker, Kurt Eiselt, editors, The 45th ACM Technical Symposium on Computer Science Education, SIGCSE '14, Atlanta, GA, USA - March 05 - 08, 2014. pages 61-66, ACM, 2014. [doi]
Abstract is missing.