11 - 14 / 14 12 |
11. Metode za stiskanje grafov Yannick Kuhar, 2023, master's thesis Keywords: stiskanje podatkov, stiskanje grafov, simetrije v grafih, avtomorfizem grafov |
12. Problem realizacije grafov, različice in algoritmi LJUBICA SIMOVSKA, 2023, undergraduate thesis Keywords: realizacija grafa, zaporedje stopenj, problem naštevanja |
13. Analiza in primerjava reševalnikov tekmovanja SAT Janez Barbo, 2024, undergraduate thesis Keywords: SAT, boolean, reševalnik, algoritmi, DPLL, CDCL |
14. Metode sestopanja za reševanje problema podgrafnega izomorfizma Sven Cerk, 2018, master's thesis Keywords: podgrafni izomorfizem, problemi zadoščanja omejitvam, algoritmi sestopanja, inženiring algoritmov |