differentiable-satisfiability
There are 1 repositories under differentiable-satisfiability topic.
MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
There are 1 repositories under differentiable-satisfiability topic.
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability