#Multi-models-optimization

Showing 1 of 1 repositories tagged #multi-models-optimization, 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 #differentiable-satisfiability #dimacs-cnf #logic-programming #optimization #probabilistic #probabilistic-asp #probabilistic-programming #probabilistic-satisfiability