Studijní program
Předměty
- Úvod do matematické logikyNMAG162 | Matematicko-fyzikální fakulta
- Důkazová složitost a P vs. NP problémNMAG536 | Matematicko-fyzikální fakulta
- Logický seminář INAIL056 | Matematicko-fyzikální fakulta
- Logický seminář IINAIL080 | Matematicko-fyzikální fakulta
- Logika a složitostNMAG446 | Matematicko-fyzikální fakulta
- Studentský logický seminářNMMB453 | Matematicko-fyzikální fakulta
Publikace
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH2022 | Matematicko-fyzikální fakulta
- A LIMITATION ON THE KPT INTERPOLATION2020 | Matematicko-fyzikální fakulta
- PROOF COMPLEXITY2019 | Matematicko-fyzikální fakulta
- A FEASIBLE INTERPOLATION FOR RANDOM RESOLUTION2017 | Matematicko-fyzikální fakulta
- On the computational complexity of finding hard tautologies2014 | Matematicko-fyzikální fakulta
- A note on SAT algorithms and proof complexity2012 | Matematicko-fyzikální fakulta
- A note on propositional proof complexity of some Ramsey-type statements, Archive for Mathematical Logic2011 | Matematicko-fyzikální fakulta
- Dostupné výpočty z krátkých důkazů2010 | Matematicko-fyzikální fakulta
- Generátor důkazové složitosti2009 | Matematicko-fyzikální fakulta
- Substituce do výrokových tautologií2007 | Matematicko-fyzikální fakulta
Loading network view...