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