Goal-Aware Neural SAT Solver.

Emils Ozolins, Karlis Freivalds, Andis Draguns, Eliza Gaile, Ronalds Zakovskis, Sergejs Kozlovics

Browse the full IJCNN paper archive.