GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection

17 May 2024

Jianye Hao

Mingxuan Yuan

Papers citing "GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection"

2 / 2 papers shown

Title
Benchmarking Graph Neural Networks Vijay Prakash Dwivedi Chaitanya K. Joshi Anh Tuan Luu T. Laurent Yoshua Bengio Xavier Bresson 189 916 0 02 Mar 2020
Deep Graph Library: A Graph-Centric, Highly-Performant Package for Graph Neural Networks Minjie Wang Da Zheng Zihao Ye Quan Gan Mufei Li ... J. Zhao Haotong Zhang Alex Smola Jinyang Li Zheng-Wei Zhang AI4CE GNN 200 746 0 03 Sep 2019