TY  - RPRT
TI  - Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers
AU  - Zhanfu Yang
AU  - Fei Wang
AU  - Ziliang Chen
AU  - Guannan Wei
AU  - Tiark Rompf
PY  - 2019
UR  - https://arxiv.org/abs/1904.12084
ID  - 1904.12084
ER  -