This page is devoted to my qualification theses. My diploma thesis, thesis for RNDr., and my doctoral dissertation are presented here.

Constraint Programming in Planning.
My doctoral dissertation (Ph.D.), Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University, Prague, 2008.

Dynamic Constraint Satisfaction Problems.
My thesis for the degree of doctor of natural sciences (RNDr.), Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University, Prague, 2005.

Solving of Dynamic Constraint Satisfaction Problems.
My diploma thesis (master's degree, Mgr.), Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University, Prague, 2005.