Grass: Combining graph neural networks with expert knowledge for sat solver selection

Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan
January 2024
Cite
Type
Conference paper
Publication
Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining

Add the full text or supplementary notes for the publication here using Markdown formatting.