19 citations · 19 across the 1 of their papers we have counts for
1 paper
Benedikt Bünz, Matthew Lamm
In this paper we explore whether or not deep neural architectures can learn to classify Boolean satisfiability (SAT). We devote considerable time to discussing the theoretical prop…