Sota Moriyama, Koji Watanabe, Katsumi Inoue. GNN Based Extraction of Minimal Unsatisfiable Subsets. In Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese, editors, Inductive Logic Programming - 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings. Volume 14363 of Lecture Notes in Computer Science, pages 77-92, Springer, 2023. [doi]
Abstract is missing.