Matthias Nickles
Results
1
repositories owned by
Matthias Nickles
diff-SAT
63
Stars
4
Forks
Watchers
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
