Graph Neural Networks for Scheduling of SMT Solvers | IEEE Conference Publication | IEEE Xplore