• NeuroDual: A Hybrid SAT Solver...

Treffer: NeuroDual: A Hybrid SAT Solver Combining Graph Attention Networks with Algorithmic Techniques

Title:
NeuroDual: A Hybrid SAT Solver Combining Graph Attention Networks with Algorithmic Techniques
Authors:
Farooque, Mahfuza, Walter, Matthew, Falk, Aaron
Source:
2024 International Symposium on Networks, Computers and Communications (ISNCC) Networks, Computers and Communications (ISNCC), 2024 International Symposium on. :1-4 Oct, 2024
Relation:
2024 International Symposium on Networks, Computers and Communications (ISNCC)
Database:
IEEE Xplore Digital Library