Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting.

Ralph Abboud, Ismail Ilkan Ceylan, Thomas Lukasiewicz

Browse the full AAAI paper archive.