Algorithms Live! Episode 24
http://algorithms-live.blogspot.com/2017/07/episode-24-2sat.html
Codeforces Round 943 Solution Discussion