SoftGrader: Automated Solution Checking System. - Alexander Sysoyev; Mikhail Krivonosov; Denis Prytov; Anton Shtanyuk (RuSCDays, 2020)