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]
@inproceedings{LiangRB22,
title = {Exploring Representation of Horn clauses using GNNs},
author = {Chencheng Liang and Philipp Rümmer and Marc Brockschmidt},
year = {2022},
url = {http://ceur-ws.org/Vol-3201/paper7.pdf},
researchr = {https://researchr.org/publication/LiangRB22},
cites = {0},
citedby = {0},
booktitle = {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},
editor = {Boris Konev and Claudia Schon and Alexander Steen},
volume = {3201},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}