19CSE100 - Problem Solving and Algorithmic Thinking (PSAT) - 1st Sem - B...
Probabilistic Answer Set Programming and Probabilistic SAT solving, base...