Author:
Tanabe Yoshinori,Hagiya Masami
Publisher
Springer International Publishing
Reference10 articles.
1. M. Hagiya, K. Fukuda, Y. Tanabe, T. Saito, Automatically generating programming questions corresponding to rubrics using assertions and invariants, in Sustainable ICT, Education and Learning - IFIP WG 3.4 International Conference, SUZA 2019, Zanzibar, Tanzania, April 25–27, 2019, Revised Selected Papers, ed. by A. Tatnall, N.B. Mavengere, vol. 564 of IFIP Advances in Information and Communication Technology (Springer, Heidelberg, 2019), pp. 89–98
2. S. Wasik, M. Antczak, J. Badura, A. Laskowski, T. Sternal, A survey on online judge systems and their applications. ACM Comput. Surv. 51(1) (2018)
3. M. Presburger, Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt, in Sprawozdanie z I Kongresu metematyków slowiańskich, Warszawa, Warsaw, Poland, vol. 1929 (1930), pp. 92–101, 395
4. C. Haase, A survival guide to Presburger arithmetic. ACM SIGLOG News 5(3), 67–82 (2018)
5. L. de Moura, N. Bjørner, Z3: an efficient smt solver, in Tools and Algorithms for the Construction and Analysis of Systems, ed. by C.R. Ramakrishnan, J. Rehof (Springer, Heidelberg, 2008) pp. 337–340