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

摘要

该论文暂无可用摘要。

打开原文