Zhang, Z., Chetelat, D., Cotnareanu, J., Ghose, A., Xiao, W., Zhen, H., . . . Yuan, M. (2024). GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection.
Chicago-Zitierstil (17. Ausg.)Zhang, Zhanguang, et al. GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. 2024.
MLA-Zitierstil (9. Ausg.)Zhang, Zhanguang, et al. GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.