Learning Symmetric Rules with SATNet

1 code implementation • 28 Jun 2022 • 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.

Logical Reasoning Rubik's Cube