- Složitost splnitelnosti problémů časových omezení2010 | Matematicko-fyzikální fakulta
- Adaptace konzistence po cestě pro booleovskou splnitelnost2010 | Matematicko-fyzikální fakulta
- Adaptace konzistence po cestě pro booleovskou splnitelnost: teoretické představení konceptu2010 | Matematicko-fyzikální fakulta
- Složitost problémů splnitelnosti časových omezení2008 | Matematicko-fyzikální fakulta
- Problémy splnitelnosti omezení, mající konečnou šířku2009 | Matematicko-fyzikální fakulta
- Řešení obtížných případů problému splnitelnosti Booleovských formulí2007 | Matematicko-fyzikální fakulta
- Optimální kooperativní hledání cest řešené pomocí výrokové splnitelnosti2013 | Matematicko-fyzikální fakulta
- Třídy booleovských formulí s efektivně řešitelným SATem2010 | Matematicko-fyzikální fakulta
- Maximální jazyky omezení s nekonečně hodnotami2007 | Matematicko-fyzikální fakulta
- Výpočetní složitost v teorii grafů2007 | Matematicko-fyzikální fakulta
- Řešení obtížných problémů nahlížením jako na husté strukturované grafy2007 | Matematicko-fyzikální fakulta
- Omezující podmínky v plánování2008 | Matematicko-fyzikální fakulta
- Z distributivity kongruencí vyplývá konečná šířka2009 | Matematicko-fyzikální fakulta
- Zesílení konzistence po cestě pro řešení SATu2008 | Matematicko-fyzikální fakulta
- Efektivní heuristika pro SAT založená na znalosti komponent souvislosti grafu problému2009 | Matematicko-fyzikální fakulta
- Složitost jazyků s rovností2008 | Matematicko-fyzikální fakulta
- CSP dichotomie pro speciální třídy2009 | Matematicko-fyzikální fakulta
- Jeden z vybraných aspektů při tvorbě učebnice pro vybranou jazykovou úroveň podle SERR2012 | Filozofická fakulta
- Grafy, polymorfismy a složitost problému homomorfismů2008 | Matematicko-fyzikální fakulta
- Vylepšování CSP modelů pro plánovací problémy2008 | UNIVERZITA KARLOVA
- CSP dichotomie platí pro digrafy bez začátků a konců ( pozitivní odpověď na hypotézu Bang-Jensena a Hella)2009 | Matematicko-fyzikální fakulta
- Navyšování soudních poplatků: cíle navrhované úpravy2020 | Právnická fakulta