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