An on-line solution verification system for programming competitions.

Published in: MIPRO (2014)

Keyphrases

closed form
programming language
model checking
optimization method
data mining
information systems
web services
optimal solution
case based reasoning
mathematical model
solution quality
linear equations