09:13duration 9 minutes 13 seconds
9.b
This is the second video of the Inf2D lecture on Smart Searching using Constraints.