Předměty
- Booleovské funkce a jejich aplikaceNAIL021 | Matematicko-fyzikální fakulta
- Algoritmy a datové struktury 1NTIN060 | Matematicko-fyzikální fakulta
- Složitost +1NTIN063 | Matematicko-fyzikální fakulta
- Základy složitosti a vyčíslitelnosti +1NTIN090 | Matematicko-fyzikální fakulta
- Seminář z Booleovských funkcí 1NTIN093 | Matematicko-fyzikální fakulta
- Seminář z Booleovských funkcí 2NTIN094 | Matematicko-fyzikální fakulta
- Pseudo-Booleovská optimalizaceNTIN096 | Matematicko-fyzikální fakulta
- Výběrová přednáška na NCSU PragueNTIN109 | Matematicko-fyzikální fakulta
Studijní programy
- Informatika +1🇨🇿 Bc. | Matematicko-fyzikální fakulta
- Informatika se specializací Počítačová grafika, vidění a vývoj her +1🇨🇿 Bc. | Matematicko-fyzikální fakulta
- Informatika se specializací Obecná informatika +1🇨🇿 Bc. | Matematicko-fyzikální fakulta
- Informatika se specializací Programování a vývoj software +1🇨🇿 Bc. | Matematicko-fyzikální fakulta
- Informatika se specializací Systémové programování +1🇨🇿 Bc. | Matematicko-fyzikální fakulta
- Informatika se specializací Webové a datově orientované programování +1🇨🇿 Bc. | Matematicko-fyzikální fakulta
- Informatika se specializací Umělá inteligence +1🇨🇿 Bc. | Matematicko-fyzikální fakulta
Publikace
- Úplná těsnost implikuje Nashovskou řešitelnost pro herní formy se třemi hráči2012 | Matematicko-fyzikální fakulta
- Weak and strong machine dominance in a nonpreemtive flowshop +12005 | Matematicko-fyzikální fakulta
- Nonpreemptive flowshop scheduling with machine dominance2002 | Publikace bez příslušnosti k fakultě
- Weak and Strong Machine Dominance in a Nonpreemptive FlowshopPublikace bez příslušnosti k fakultě
- Nonpreemptive flowshops with a dominant machine: Reductions to single machine problemsPublikace bez příslušnosti k fakultě
- Nonpreemptive Flowshop Scheduling with Machine DominancePublikace bez příslušnosti k fakultě
- APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*2022 | Matematicko-fyzikální fakulta
- Unique key Horn functions2022 | Matematicko-fyzikální fakulta
- Switch lists in the landscape of knowledge representations languages2022 | Matematicko-fyzikální fakulta
- A Direct Equivalence-Testing Algorithm for SLRs2022 | Matematicko-fyzikální fakulta
Loading network view...