Rozvrhování pomocí logického programování

s omezujícími podmínkami

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)