Exploring Representation of Horn clauses using GNNsDownload PDF

Chencheng Liang, Philipp Rümmer, Marc Brockschmidt

2022 (modified: 24 Apr 2023)PAAR@IJCAR 2022Readers: Everyone
0 Replies