TY  - RPRT
TI  - GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
AU  - Zhanguang Zhang
AU  - Didier Chetelat
AU  - Joseph Cotnareanu
AU  - Amur Ghose
AU  - Wenyi Xiao
AU  - Hui-Ling Zhen
AU  - Yingxue Zhang
AU  - Jianye Hao
AU  - Mark Coates
AU  - Mingxuan Yuan
PY  - 2024
UR  - https://arxiv.org/abs/2405.11024
ID  - 2405.11024
ER  -