A CSP-based Approach to Design a Subnet Solving a Network Construction Exercise for Beginners
Abstract— When creating exercise problems for network construction, teachers confirm whether the problems are solvable, and then they create a correct answer. However, the work is troublesome and may result in some mistakes such as creating unsolvable problems and incorrect answers. This paper proposes a simulator that computes communications in exercise problems, and CSP formulas for solving exercise problems by analyzing the simulator with symbolic execution. In experiments, In experiments, solving the formulas with CSP solver Z3 found correct answers and unsolvable problems.
Index Terms— Zeroconf, CSP, SMT, Z3, network construction, e-learning
Yuichiro Tateiwa, Yoshifumi Hisanaga
Nagoya Institute of Technology, JAPAN
Cite: Yuichiro Tateiwa, Yoshifumi Hisanaga, "A CSP-based Approach to Design a Subnet Solving a Network Construction Exercise for Beginners, " Proceedings of 2020 the 10th International Workshop on Computer Science and Engineering (WCSE 2020), pp. 146-150, Yangon (Rangoon), Myanmar (Burma), February 26-28, 2020.