#Differentiable-satisfiability

Showing 1 of 1 repositories tagged #differentiable-satisfiability, ranked by stars

MatthiasNickles

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

★ 72 ⑂ 3 —

Related Topics

#answer-set-programming #artificial-intelligence #constraint-programming #differentiable-programming #dimacs-cnf #logic-programming #multi-models-optimization #optimization #probabilistic #probabilistic-asp #probabilistic-programming #probabilistic-satisfiability