Exploring Representation of Horn Clauses using GNNs (Extended Technique Report)Open Website

Chencheng Liang, Philipp Rümmer, Marc Brockschmidt

2022 (modified: 24 Apr 2023)CoRR 2022Readers: Everyone
0 Replies