GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
Authors: Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan
Abstract
No abstract is available for this paper.