Chencheng Liang, Philipp Rümmer, Marc Brockschmidt. Exploring Representation of Horn clauses using GNNs. In Boris Konev, Claudia Schon, Alexander Steen, editors, Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022. Volume 3201 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]
Abstract is missing.