Masarykova univerzita
Fakulta informatiky
Rozvrhování pomocí logického programování
s omezujícími podmínkami
Bakalářská práce
Martin Šmérek
CD obsahuje následující části:
text práce v
pdf
a
ps
zdrojový kód
práce (LaTeX)
knihovna
pro řešení rozvrhovacích problémů (ECLiPSe)
generátory
problémů (Java)
instance
řešených problémů (ECLiPSe)