Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Pokrývka, Filip
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Limits of efficient FO model checking of geometric graphs | Theses on a related topic Display description

2.
Pokrývka, Filip
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Structural and geometric graph theory and algorithmic metatheorems | Theses on a related topic

3.
Balabán, Jakub
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Constructive twin-width for posets of small width | Theses on a related topic

4.
Balabán, Jakub
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Discrete algorithms and models
Master's thesis defence: Computing twin-width parametrized by restrictive parameters | Theses on a related topic

5.
Bezek, Matúš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: FO interpretations in restricted graph classes | Theses on a related topic

6.
Caha, Libor
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Quantum 2-SAT in 1D geometry | Theses on a related topic

7.
Jedelský, Jan
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Classes of bounded and unbounded twin-width | Theses on a related topic

8.
Jedelský, Jan
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Twin-width of planar graphs | Theses on a related topic

9.
Melicher, Dominik
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Twin-width of planar graphs | Theses on a related topic

10.
Pekárková, Kristýna
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: Matroid Algorithms and Their Applications in Optimization | Theses on a related topic

11.
Pokorný, Ondřej
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Algoritmy pro výpočet jemných stínů | Theses on a related topic

12.
Pokrývka, Filip
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: FO properties of geometric graphs | Theses on a related topic