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

Mahfuza Farooque, Matthew Walter, Aaron Falk

Browse the full ISNCC paper archive.