Learning Symmetric Rules with SATNet

Sangho Lim, Eun-Gyeol Oh, Hongseok Yang

SATNet is a differentiable constraint solver with a custom backpropagation algorithm, which can be used as a layer in a deep-learning system. It is a promising proposal for bridgin…