![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | 3-CNF-SAT/ | 2024-01-11 16:09 | - | |
![]() | Automaton_for_list_of_vectors/ | 2024-01-11 16:09 | - | |
![]() | ETH_what_does_it_mean/ | 2024-01-11 16:09 | - | |
![]() | First_slide/ | 2024-01-11 16:09 | - | |
![]() | NFA_evaluation/ | 2024-01-11 16:09 | - | |
![]() | OVC/ | 2024-01-11 16:09 | - | |
![]() | Proof_for_NFA/ | 2024-01-11 16:09 | - | |
![]() | Quasipolynomial_time/ | 2024-01-11 16:09 | - | |
![]() | Real_SETH/ | 2024-01-11 16:09 | - | |
![]() | SETH/ | 2024-01-11 16:09 | - | |
![]() | SETH_implies_OVC/ | 2024-01-11 16:09 | - | |
![]() | SETH_implies_OVC_part_2/ | 2024-01-11 16:09 | - | |
![]() | Sparsification/ | 2024-01-11 16:09 | - | |
![]() | String_for_list_of__vectors/ | 2024-01-11 16:09 | - | |
![]() | favicon.png | 2024-01-11 16:09 | 226 | |
![]() | from_SAT_to_3-CNF-SAT/ | 2024-01-11 16:09 | - | |
![]() | manifest.json | 2024-01-11 16:09 | 43K | |
![]() | slajdomat-logo-blue.svg | 2024-01-11 16:09 | 4.7K | |
![]() | viewer.js | 2024-01-11 16:09 | 1.0M | |