"Declaratively solving Google Code Jam problems with Picat."

Sergii Dymchenko, Mariia Mykhailova (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics