Výzkum
Mým zájmem je zejména oblast booleovských funkcí a formulí, zejména
- Splnitelnost (SAT)
- Minimální reprezentace a různé typy reprezentací
- Kompilace znalostí (knowledge compilation)
- Parametrizované algoritmy
- Kódování problémů a podmínek do SATu
- Kódování do formulí úplných vzhledem k jednotkové propagaci (unit refutation complete a propagation complete).
- Počítání modelů
- Kvantifikované booleovské formule
Software
- pccompile
- Nástroj ke kompilaci formule v KNF do KNF úplné vzhledem k jednotkové propagaci
Diplomové práce, bakalářské práce a ročníkové projekty
Nabízím diplomové a bakalářské práce, které obecně souvisí s výše zmíněnými výzkumnými tématy. Také nabízím vedení ročníkových projektů. Kontaktujte mne v případě zájmu, abych vám nabídl konkrétní témata.