1 result found Sort:
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
psat
dimacs-cnf
sat-solver
probability
optimization
probabilistic
satisfiability
logic-programming
probabilistic-asp
weighted-sat-solving
answer-set-programming
constraint-programming
artificial-intelligence
multi-models-optimization
probabilistic-programming
differentiable-programming
probabilistic-satisfiability
differentiable-satisfiability
Created
2018-10-25
291 commits to master branch, last one 6 months ago