activity
20152025
most citedSATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver

43 citations · 105 across the 8 of their papers we have counts for

collaborators
Showing 2018 · math.OCShow all

1 paper · 2 filters

math.OC2018

Low-rank semidefinite programming for the MAX2SAT problem

Po-Wei Wang, J. Zico Kolter

This paper proposes a new algorithm for solving MAX2SAT problems based on combining search methods with semidefinite programming approaches. Semidefinite programming techniques are…