TY  - RPRT
TI  - Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting
AU  - Ralph Abboud
AU  - Ismail Ilkan Ceylan
AU  - Thomas Lukasiewicz
PY  - 2020
UR  - https://arxiv.org/abs/1904.02688
ID  - 1904.02688
ER  -