GitHub topics: multi-models-optimization
MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Language: Scala - Size: 2.24 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 61 - Forks: 3
Related Keywords
answer-set-programming
1
artificial-intelligence
1
constraint-programming
1
differentiable-programming
1
differentiable-satisfiability
1
dimacs-cnf
1
logic-programming
1
multi-models-optimization
1
optimization
1
probabilistic
1
probabilistic-asp
1
probabilistic-programming
1
probabilistic-satisfiability
1
probability
1
psat
1
sat-solver
1
satisfiability
1
weighted-sat-solving
1