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.*