Combinatorial optimization and reasoning with graph neural networks (2021-02-18T00:00:00.000000Z)