Author:
Shenoy Varun,Aparanji Ullas,Sripradha K.,Kumar Viraj
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Karp: a language for NP reductions;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. Semi-automatic generation of textual exercises for software engineering education;2022 IEEE Global Engineering Education Conference (EDUCON);2022-03-28
3. Automata Tutor v3;Computer Aided Verification;2020
4. A Systematic Review of Automatic Question Generation for Educational Purposes;International Journal of Artificial Intelligence in Education;2019-11-21