CNF, 3SAT, SAT, CSP, PSPACE, 1SAT, 2SAT, סבוכיות מקום, גרף קונפיגורציות.
29-12-08 מודלים חישוביים – שיעור 9 – נחום דרשוביץ – CNF, 3SAT, SAT, CSP, PSPACE, 1SAT, 2SAT, סבוכיות מקום, גרף קונפיגורציות.הורד
29-12-08-מודלים-חישוביים-שיעור-9-נחום-דרשוביץ-CNF-3SAT-SAT-CSP-PSPACE-1SAT-2SAT-סבוכיות-מקום-גרף-קונפיגורציות