M. Bhargava, and A. Shankar. (2010)cite arxiv:1006.1002Comment: Proofs have been considerably streamlined, and a number of clarifying details have been added; 36 pages.
P. Wang, P. Donti, B. Wilder, and Z. Kolter. (2019)cite arxiv:1905.12149Comment: Accepted at ICML'19. The code can be found at https://github.com/locuslab/satnet.