output
20152022
most citedGW170817: Observation of Gravitational Waves from a Binary Neutron Star Inspiral

9.8k citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2015★ 3 cited

Declaratively solving Google Code Jam problems with Picat

Sergii Dymchenko, Mariia Mykhailova

In this paper we present several examples of solving algorithmic problems from the Google Code Jam programming contest with Picat programming language using declarative techniques:…