Reševanje izmenskih urnikov z optimizacijskimi algoritmiBokal, Matej (Avtor) Sadikov, Aleksander (Mentor) CSPCP-SATizmenski urnikioptimizacijaReševanje izmenskih urnikov je kombinatoričen problem z omejitvami: uskladiti je treba povpraševanje, razpoložljivost, tipe zaposlitve in pravila lokacije. V nalogi problem formaliziramo kot CSOP z binarnimi spremenljivkami xs,e, trdimi omejitvami in uteženo ciljno funkcijo, ki dopušča delno pokritost. Na tej podlagi smo implementirali spletno aplikacijo (React, Django, CPMpy/OR-Tools CP-SAT) za urejanje matrice, zagona reševanja, diagnostike in objave urnika. Pilot v gostinskem podjetju je pokazal, da pristop znatno skrajša mesečno delo z urnikom.20262026-10-29 11:36:53Diplomsko delo/naloga190446VisID: 38927sl