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

9.8k citations

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

1 paper · 2 filters

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:…