TY  - RPRT
TI  - Goal-Aware Neural SAT Solver
AU  - Emils Ozolins
AU  - Karlis Freivalds
AU  - Andis Draguns
AU  - Eliza Gaile
AU  - Ronalds Zakovskis
AU  - Sergejs Kozlovics
PY  - 2022
DO  - 10.1109/ijcnn55064.2022.9892733
UR  - https://arxiv.org/abs/2106.07162
ID  - 2106.07162
ER  -