708 citations · 727 across the 2 of their papers we have counts for
1 paper · 2 filters
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…