![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 3-CNF-SAT/ | 2024-07-07 10:03 | - | |
| Automaton_for_list_of_vectors/ | 2024-07-07 10:03 | - | |
| ETH_what_does_it_mean/ | 2024-07-07 10:03 | - | |
| First_slide/ | 2024-07-07 10:03 | - | |
| NFA_evaluation/ | 2024-07-07 10:03 | - | |
| OVC/ | 2024-07-07 10:03 | - | |
| Proof_for_NFA/ | 2024-07-07 10:03 | - | |
| Quasipolynomial_time/ | 2024-07-07 10:03 | - | |
| Real_SETH/ | 2024-07-07 10:03 | - | |
| SETH/ | 2024-07-07 10:03 | - | |
| SETH_implies_OVC/ | 2024-07-07 10:03 | - | |
| SETH_implies_OVC_part_2/ | 2024-07-07 10:03 | - | |
| Sparsification/ | 2024-07-07 10:03 | - | |
| String_for_list_of__vectors/ | 2024-07-07 10:03 | - | |
| favicon.png | 2024-07-07 10:03 | 226 | |
| from_SAT_to_3-CNF-SAT/ | 2024-07-07 10:03 | - | |
| manifest.json | 2024-07-07 10:03 | 43K | |
| slajdomat-logo-blue.svg | 2024-07-07 10:03 | 4.7K | |
| viewer.js | 2024-07-07 10:03 | 1.0M | |