40:37duration 40 minutes 37 seconds
mat180-2022-01-21
42:06duration 42 minutes 6 seconds
mat180-2022-01-19
04:31duration 4 minutes 31 seconds
ECS 220 3b:5.4-4 Max-2-SAT
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
20:14duration 20 minutes 14 seconds
ECS 120 8c:1 3SAT is reducible to IndSet
05:29duration 5 minutes 29 seconds
ECS 120 8b:5 definition of the 3SAT problem