Possible source for optimization-as-a-layer: SATNet (differentiable SAT solver)
https://arxiv.org/abs/1905.12149
Possible source for optimization-as-a-layer: SATNet (differentiable SAT solver)
https://arxiv.org/abs/1905.12149