1 - 3 / 3 1 |
1. Kompresija entropije Klarisa Trojer, 2022, master's thesis Keywords: 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, master's thesis Keywords: 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, bachelor thesis/paper Keywords: SAT, boolean, reševalnik, algoritmi, DPLL, CDCL |