Learning to reason: Leveraging neural networks for approximate dnf counting (2020)

First Author: Abboud R.
Attributed to:  The Alan Turing Institute funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Parent Publication: AAAI 2020 - 34th AAAI Conference on Artificial Intelligence