Research:
-
A note about XNLP-completeness
| tags:[ research complexity ]
- Small survey on tools used by mathematicians
-
GD 2020 notes
| tags:[ research conference ]
-
Hat chromatic number of graphs
| tags:[ research ]
-
CSR 2019
| tags:[ research conference trip ]
- Jak rozběhnout výpočet na RCI serveru
- Dimea Days 2019
-
Scientific poster for poster session
| tags:[ research ]
-
MCW - výpisky
| tags:[ research conference ]
-
ICALP 2018 - výpisky
| tags:[ research conference ]
- MACIS - Vienna 2017
- NSFOCS - Novi Sad
- Diplomová práce
-
Lower bound graphs for known Ramsey numbers
| tags:[ research ]
-
London Stringology Days
| tags:[ research conference trip ]
- Stigma 2016
- Bakalářská práce