Browsing by Author "Cigler, Luděk"
Now showing items 1-2 of 2
-
Analýza a implementace algoritmů pro sestavování středoškolských rozvrhů
Defence status: DEFENDEDCigler, Luděk (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Date of defense: 26. 6. 2006Scheduling represents an interesting and difficult problem of combinatorial automated secondary school timetabling. We describe an implementation of a timetabling system, which combines constraint programming with local ... -
Constraint satisfaction for HW/SW verification
Defence status: DEFENDEDCigler, Luděk (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Date of defense: 26. 5. 2008Constraint satisfaction techniques (CSP) are a powerful framework for modeling and solving various problems in artificial intelligence and operations research. Verification of HW and SW can profit from employing constraint ...