MatSat: a matrix-based differentiable SAT solver

Taisuke Sato, Ryosuke Kojima

We propose a new approach to SAT solving which solves SAT problems in vector spaces as a cost minimization problem of a non-negative differentiable cost function J^sat. In our appr…