Práce na příbuzné téma (mají shodná klíčová slova):

mso model checking, sat, twin-width, fixed-parameter tractability, clique-width, point configurations, fo model checking

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Pokrývka, Filip
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Limits of efficient FO model checking of geometric graphs | Práce na příbuzné téma Zobrazit popisek

2.
Pokrývka, Filip
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Structural and geometric graph theory and algorithmic metatheorems | Práce na příbuzné téma

3.
Balabán, Jakub
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Constructive twin-width for posets of small width | Práce na příbuzné téma

4.
Balabán, Jakub
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Diskrétní algoritmy a modely
Obhajoba diplomové práce: Computing twin-width parametrized by restrictive parameters | Práce na příbuzné téma

5.
Bezek, Matúš
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: FO interpretations in restricted graph classes | Práce na příbuzné téma

6.
Caha, Libor
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Quantum 2-SAT in 1D geometry | Práce na příbuzné téma

7.
Jedelský, Jan
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Classes of bounded and unbounded twin-width | Práce na příbuzné téma

8.
Jedelský, Jan
Fakulta: Fakulta informatiky
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Twin-width of planar graphs | Práce na příbuzné téma

9.
Melicher, Dominik
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Twin-width of planar graphs | Práce na příbuzné téma

10.
Pekárková, Kristýna
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Teoretická informatika
Obhajoba diplomové práce: Matroid Algorithms and Their Applications in Optimization | Práce na příbuzné téma

11.
Pokorný, Ondřej
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Algoritmy pro výpočet jemných stínů | Práce na příbuzné téma

12.
Pokrývka, Filip
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: FO properties of geometric graphs | Práce na příbuzné téma