Declaratively Solving Google Code Jam Problems with Picat.

Sergii Dymchenko Mariia Mykhailova

Published in: PADL (2015)

Keyphrases

solving problems
search engine
benchmark problems
combinatorial optimization
problems involving
partial solutions
sparse linear systems
web pages
objective function
multi objective
social media
source code
linear constraints
solving complex
combinatorial optimisation