Search Results - RepositoryStats

2 results found Sort:

mit

19CSE100 - Problem Solving and Algorithmic Thinking (PSAT) - 1st Sem - B.E. (CSE-CYS) - ASC, CBE.

psat btech amrita cse100 2021cys 2022cys functions flowgorithm programming flowgramming modularization problem-solving algorithmic-thinking

Created 2021-10-21

48 commits to main branch, last one about a year ago

mit

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 5 months ago