Prohlížení dle autora "Cigler, Luděk" | Digitální repozitář UK

Zobrazují se záznamy 1-2 z 2

Analýza a implementace algoritmů pro sestavování středoškolských rozvrhů

Výsledek obhajoby: OBHÁJENO

Cigler, Luděk (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)

Datum obhajoby: 26. 6. 2006

Scheduling 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

Výsledek obhajoby: OBHÁJENO

Cigler, Luděk (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)

Datum obhajoby: 26. 5. 2008

Constraint 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 ...