Výzkum
Mým zájmem je zejména oblast booleovských funkcí a formulí, zejména
- splnitelnost
- 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).
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ů. Některé návrhy na diplomové a bakalářské práce a ročníkové projekty můžete najít zde.