@misc{indiciaee38f494b913a, title = {Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting}, author = {Ralph Abboud and Ismail Ilkan Ceylan and Thomas Lukasiewicz}, year = {2020}, url = {https://arxiv.org/abs/1904.02688}, note = {Source identifier: 1904.02688} }