1 - 3 / 3 1 |
1. Kompresija entropije Klarisa Trojer, 2022, magistrsko delo Ključne besede: kompresija entropije, teorija informacij, Kolmogorova kompleksnost, lokalna lema, k-SAT, aciklično barvanje, barvanje brez ponavljanj |
2. Pridobivanje in uporaba medno-obnožinskih satov za pripravo čebelarskih proizvodov s posebno dodano vrednostjo Sindis Čufer, 2023, magistrsko delo Ključne besede: Apis mellifera carnica, medonosna čebela, AŽ panj, sat, protimikrobno delovanje, cvetni prah, obnožina, med, čebelji kruhek |
3. Analiza in primerjava reševalnikov tekmovanja SAT Janez Barbo, 2024, diplomsko delo/naloga Ključne besede: SAT, boolean, reševalnik, algoritmi, DPLL, CDCL |