#Dimacs-cnf

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