Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets

19 February 2024

Papers citing "Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets"

5 / 5 papers shown

Title
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems Zhaoyu Li X. Si BDL NAI 50 11 0 07 Nov 2022
A Survey on Heterogeneous Graph Embedding: Methods, Techniques, Applications and Sources Xiao Wang Deyu Bo C. Shi Shaohua Fan Yanfang Ye Philip S. Yu AI4TS 47 298 0 30 Nov 2020
Random Features Strengthen Graph Neural Networks Ryoma Sato M. Yamada H. Kashima GNN AAML 29 233 0 08 Feb 2020
Graph Neural Networks: A Review of Methods and Applications Jie Zhou Ganqu Cui Shengding Hu Zhengyan Zhang Cheng Yang Zhiyuan Liu Lifeng Wang Changcheng Li Maosong Sun AI4CE GNN 145 5,457 0 20 Dec 2018
Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks Christopher Morris Martin Ritzert Matthias Fey William L. Hamilton J. E. Lenssen Gaurav Rattan Martin Grohe GNN 108 1,625 0 04 Oct 2018