Jan Hula, David Mojzísek, Mikolás Janota. Graph Neural Networks for Scheduling of SMT Solvers. In 33rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2021, Washington, DC, USA, November 1-3, 2021. pages 447-451, IEEE, 2021. [doi]
Abstract is missing.