07:21duration 7 minutes 21 seconds
ECS 220 9a:2-8.5 Geography game
04:31duration 4 minutes 31 seconds
ECS 220 3b:5.4-4 Max-2-SAT
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
09:42duration 9 minutes 42 seconds
ECS 220 3b:5.2-1 from circuits to formulas
08:40duration 8 minutes 40 seconds
ECS 220 2c:5.3-1 NAE-SAT is NP-complete
10:31duration 10 minutes 31 seconds
ECS 220 2a:4.2-2 k-SAT for k=1,2,3
03:57duration 3 minutes 57 seconds
ECS 220 2a:4.2-1 3-Coloring reduces to CNF-SAT
04:27duration 4 minutes 27 seconds
ECS 220 1c:4.2-3 CNF-SAT
05:29duration 5 minutes 29 seconds
ECS 120 8b:5 definition of the 3SAT problem