10:43 duration 10 minutes 43 seconds
8.c
The third video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.