Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
optimization probability artificial-intelligence constraint-programming probabilistic-programming logic-programming sat-solver probabilistic answer-set-programming satisfiability differentiable-programming psat differentiable-satisfiability dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization weighted-sat-solving
-
Updated
Jul 1, 2024 - Scala