@misc{indiciaef35f7b341ee4,
  title = {GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection},
  author = {Zhanguang Zhang and Didier Chetelat and Joseph Cotnareanu and Amur Ghose and Wenyi Xiao and Hui-Ling Zhen and Yingxue Zhang and Jianye Hao and Mark Coates and Mingxuan Yuan},
  year = {2024},
  url = {https://arxiv.org/abs/2405.11024},
  note = {Source identifier: 2405.11024}
}