- Projektivní globální konzistence: aplikace v plánování pro umělou inteligenci2007 | Matematicko-fyzikální fakulta
- Exploiting Global Properties in Path-Consistency Applied on SAT2011 | Matematicko-fyzikální fakulta
- Pre-processing in Boolean Satisfiability Using Bounded (2,k)-Consistency on Regions with Locally Difficult Constraint Setup2014 | Matematicko-fyzikální fakulta
- Třída problémů hledání podpor řešitelných v polynomiálním čase2007 | Matematicko-fyzikální fakulta
- Kulečníková koule v prostoročase se strojem času2010 | Matematicko-fyzikální fakulta
- Zahnízděné precedenční sítě s alternativami: rozpoznání, složitost a modely2008 | Matematicko-fyzikální fakulta
- Aggregation error of the material footprint: the case of the EU2022 | Publikace bez příslušnosti k fakultě
