Předměty
- Booleovské funkce a jejich aplikaceNAIL021 | Matematicko-fyzikální fakulta
- Složitost +1NTIN063 | Matematicko-fyzikální fakulta
- Algoritmy a datové struktury 1NTIN060 | 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
- On Minimum Representations of Matched Formulas (Extended Abstract)2017 | Matematicko-fyzikální fakulta
- Recognition of tractable DNFs representable by a constant number of intervals2017 | Matematicko-fyzikální fakulta
- On the gap between the complexity of SAT and minimization for certain classes of boolean formulas2014 | Matematicko-fyzikální fakulta
- On Minimum Representations of Matched Formulas2014 | Matematicko-fyzikální fakulta
- Complexity Issues Related to Propagation Completeness2013 | Matematicko-fyzikální fakulta
- A decomposition method for CNF minimality proofs2013 | Matematicko-fyzikální fakulta
- Properties of SLUR Formulae2012 | Matematicko-fyzikální fakulta
- Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing2005 | Matematicko-fyzikální fakulta, Ústřední knihovna
- Some classes of Boolean formulae with polynomial time satisfiability testing.2002 | Publikace bez příslušnosti k fakultě
- Generalizations of Horn formulae and their mutual relationships2001 | Matematicko-fyzikální fakulta
Loading network view...