- LOGICAL STRENGTH OF COMPLEXITY THEORY AND A FORMALIZATION OF THE PCP THEOREM IN BOUNDED ARITHMETIC2015 | Matematicko-fyzikální fakulta
- A note on the approximability of deepest-descent circuit steps2021 | Matematicko-fyzikální fakulta
- A Communication Game Related to the Sensitivity Conjecture2017 | Matematicko-fyzikální fakulta
- A generalization of extension complexity that captures P2015 | Matematicko-fyzikální fakulta
- Sparsity - Graphs, Structures and Algorithms2012 | Matematicko-fyzikální fakulta
- Graphs and Homomorphisms2004 | Matematicko-fyzikální fakulta
- PROOF COMPLEXITY2019 | Matematicko-fyzikální fakulta
- Směrnice EU z pohledu jejich transpozice a vnitrostátních účinků2014 | Právnická fakulta
- A new proof of Ajtai's completeness theorem for nonstandard finite structures2015 | Matematicko-fyzikální fakulta
- Geometrická diskrepance : ilustrovaný průvodce2010 | Matematicko-fyzikální fakulta
- A historical note on the complexity of scheduling problems2023 | Matematicko-fyzikální fakulta
- A combinatorial min-max theorem and minimization of pure-Horn functions2016 | Matematicko-fyzikální fakulta
- Corporeality as a Key to the Assessment of the Dynamics of Ritualization2011 | Filozofická fakulta
- Doba přechodu : Tranzitivní ontologie a dílo Alaina Badioua2021 | Ústřední knihovna
- MaLeCoP: Spojovací dokazovač se strojovým učením2011 | Matematicko-fyzikální fakulta
- Complexity Issues in Interval Linear Programming2023 | Matematicko-fyzikální fakulta
- CONSISTENCY OF CIRCUIT LOWER BOUNDS WITH BOUNDED THEORIES2020 | Matematicko-fyzikální fakulta
- Defragmentation of Law. Reconstruction of Contemporary Law as a System2023 | Právnická fakulta
- Profil senescenta2018 | Přírodovědecká fakulta