- Polynomiálně velké FBDD pro problém Exactly half-d-hyperclique2009 | Matematicko-fyzikální fakulta
- Polynomial size linear programs for problems in P2019 | Matematicko-fyzikální fakulta
- Small Circuits and Dual Weak PHP in the Universal Theory of p-time Algorithms2021 | Matematicko-fyzikální fakulta
- A generalization of extension complexity that captures P2015 | Matematicko-fyzikální fakulta
- O paralelně komunikujících gramatických systémech a restartovacích automatech zachovávajících správnost2009 | Matematicko-fyzikální fakulta
- A note on SAT algorithms and proof complexity2012 | Matematicko-fyzikální fakulta
- CC-CIRCUITS AND THE EXPRESSIVE POWER OF NILPOTENT ALGEBRAS2022 | Matematicko-fyzikální fakulta
- PSEUDO-FINITE HARD INSTANCES FOR A STUDENT-TEACHER GAME WITH A NISAN-WIGDERSON GENERATOR2012 | Matematicko-fyzikální fakulta
- Polynomial-time algorithm for Maximum Weight Independent Set on P6-free graphs2019 | Matematicko-fyzikální fakulta
- Polynomial-time Algorithm for Maximum Weight Independent Set on P6-free Graphs2022 | Matematicko-fyzikální fakulta
- Bounds on the size of PC and URC formulas2020 | Matematicko-fyzikální fakulta
- Parameterized approximation schemes for steiner trees with small number of Steiner vertices2018 | Matematicko-fyzikální fakulta
- PARAMETERIZED APPROXIMATION SCHEMES FOR STEINER TREES WITH SMALL NUMBER OF STEINER VERTICES2021 | Matematicko-fyzikální fakulta
- Short Propositional Refutations for Dense Random 3CNF Formulas2012 | Matematicko-fyzikální fakulta
- On extended formulations for parameterized steiner trees2021 | Matematicko-fyzikální fakulta
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH2022 | Matematicko-fyzikální fakulta
- Generalized probabilistic theories and conic extensions of polytopes2015 | Matematicko-fyzikální fakulta
- Parameterized Approximation Algorithms for Bidirected Steiner Network Problems2021 | Matematicko-fyzikální fakulta
- Addition Is Exponentially Harder Than Counting for Shallow Monotone Circuits2017 | Matematicko-fyzikální fakulta
