Declaratively Solving Google Code Jam Problems with Picat. - Sergii Dymchenko; Mariia Mykhailova (PADL, 2015)

Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system. - Sergii Dymchenko; Mariia Mykhailova (SAC, 2015)