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

Zhanguang Zhang, Didier Chtelat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan

Browse the full KDD paper archive.