- Plná hranová konzistence ve váženém CSP a v hierarchiích podmínek nad konečnými doménami2005 | Matematicko-fyzikální fakulta
- Towards AI Planning Efficiency: Finite-domain State Variable Reformulation2013 | Matematicko-fyzikální fakulta, UNIVERZITA KARLOVA
- Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains2005 | Matematicko-fyzikální fakulta
- Yet more planning efficiency: Finite-domain state-variable reformulation2015 | Matematicko-fyzikální fakulta, UNIVERZITA KARLOVA
- Promises Make Finite (Constraint Satisfaction) Problems Infinitary2019 | Matematicko-fyzikální fakulta
- Neexistence u reciproční a logaritmické regrese2003 | 1. lékařská fakulta
- Neexistence mocninné a gama hustotní regrese, součet nezáporných členů2005 | 1. lékařská fakulta
- A PROOF OF THE ALGEBRAIC TRACTABILITY CONJECTURE FOR MONOTONE MONADIC SNP2021 | Matematicko-fyzikální fakulta
- Subset Synchronization and Careful Synchronization of Binary Finite Automata2016 | Matematicko-fyzikální fakulta
- Distance constraint satisfaction problems2016 | Matematicko-fyzikální fakulta
- Propagation complete encodings of smooth DNNF theories2022 | Matematicko-fyzikální fakulta
- Algebraic Approach to Promise Constraint Satisfaction +12019 | Matematicko-fyzikální fakulta
- Algebraic Approach to Promise Constraint Satisfaction2019 | Matematicko-fyzikální fakulta, Přírodovědecká fakulta, 1. lékařská fakulta
- TOPOLOGY IS IRRELEVANT (IN A DICHOTOMY CONJECTURE FOR INFINITE DOMAIN CONSTRAINT SATISFACTION PROBLEMS)2020 | Matematicko-fyzikální fakulta