Search for tag: "negation"

ECS 120 5a:2 definition of separating extension and L-equivalence

From  David Doty 0 likes 59 plays 0  

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

From  David Doty 0 likes 13 plays 0  

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

From  David Doty 0 likes 15 plays 0  

ECS 220 6c:7.2-2 From undecidable problems to unprovable truths

From  David Doty 0 likes 16 plays 0  

ECS 220 4a:6.1-1 the polynomial hierarchy

From  David Doty 0 likes 47 plays 0  

ECS 220 3b:5.4-4 Max-2-SAT

From  David Doty 0 likes 16 plays 0  

ECS 220 2c:5.3-1 NAE-SAT is NP-complete

From  David Doty 0 likes 39 plays 0  

ECS 220 2a:4.2-2 k-SAT for k=1,2,3

From  David Doty 0 likes 32 plays 0  

ECS 120 8c:1 3SAT is reducible to IndSet

From  David Doty 0 likes 153 plays 0  

ECS 120 8b:5 definition of the 3SAT problem

From  David Doty 0 likes 144 plays 0  

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

From  David Doty 0 likes 155 plays 0  

ECS 120 0:5 Boolean logic (discrete math review)

From  David Doty 1 likes 130 plays 0