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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Zhanguang, Chetelat, Didier, Cotnareanu, Joseph, Ghose, Amur, Xiao, Wenyi, Zhen, Hui-Ling, Zhang, Yingxue, Hao, Jianye, Coates, Mark, Yuan, Mingxuan
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2405.11024