Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system.

Sergii Dymchenko Mariia Mykhailova

Published in: CoRR (2014)

Keyphrases

solving problems
solving complex
constraint logic programming
combinatorial optimization
problems involving
open source
search engine
knowledge base
exact solution
nonlinear programming
quadratic optimization problems