GNN Based Extraction of Minimal Unsatisfiable Subsets

von Moriyama, Sota
Veröffentlicht in ILP (32. : 2023 : Bari) Inductive logic programming (2023)