Search for tag: "prover"

mat180-2022-01-07 duration 38 minutes 56 seconds mat180-2022-01-07 mat180-2022-01-07	mat180-2022-01-07 tree +19 More From Matthias Koeppe 0 likes 4 plays 0
mat180-2022-01-03 duration 42 minutes 13 seconds mat180-2022-01-03 mat180-2022-01-03	mat180-2022-01-03 proof +19 More From Matthias Koeppe 0 likes 18 plays 0
ECS 220 9a:1-8.6 IP=PSPACE (no proof) duration 3 minutes 52 seconds ECS 220 9a:1-8.6 IP=PSPACE (no proof) ECS 220 9a:1-8.6 IP=PSPACE (no proof)	ECS 220 9a:1-8.6 IP=PSPACE (no proof) space +19 More From David Doty 0 likes 18 plays 0
ECS 220 8c:8.6-2 PSPACE-completeness duration 11 minutes 16 seconds ECS 220 8c:8.6-2 PSPACE-completeness ECS 220 8c:8.6-2 PSPACE-completeness	ECS 220 8c:8.6-2 PSPACE-completeness space +19 More From David Doty 0 likes 37 plays 0

mat180-2022-01-07