05:08duration 5 minutes 8 seconds
ECS 220 3b:5.2-2 variants of Boolean…
ECS 220 3b:5.2-2 variants of Boolean satisfiability