Search for tag: "completeness"

ECS 220 8b:8.3-1 NL-completeness and logspace reductions

From  David Doty 0 likes 17 plays 0  

ECS 220 6c:7.2-4 Gödel’s Incompleteness Theorem (consistency)

From  David Doty 0 likes 12 plays 0  

ECS 120 9a:2 reducibility

From  David Doty 0 likes 142 plays 0  

ECS 120 8a:3 introduction to NP-completeness and Boolean formulas

From  David Doty 0 likes 155 plays 0