ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "Proof complexity"
Proof complexity
Publikace
Předměty
Osoby
Publikace
Studium
publication
PROOF COMPLEXITY
2019 |
Matematicko-fyzikální fakulta
publication
Dvanáct problémů o důkazové složitosti
+1
2008 |
Matematicko-fyzikální fakulta
publication
Generátor důkazové složitosti
2009 |
Matematicko-fyzikální fakulta
publication
H-colouring dichotomy in proof complexity
2021 |
Matematicko-fyzikální fakulta
publication
On the proof complexity of the Nisan-Wigderson generator
2011 |
Matematicko-fyzikální fakulta
publication
Nisan-Wigderson generators in proof complexity: new lower bounds
2022 |
Matematicko-fyzikální fakulta
publication
Expansions of pseudofinite structures and circuit and proof complexity
2016 |
Matematicko-fyzikální fakulta
publication
On Proof Complexity of Resolution over Polynomial Calculus
2022 |
Matematicko-fyzikální fakulta
publication
A note on propositional proof complexity of some Ramsey-type statements, Archive for Mathematical Logic
2011 |
Matematicko-fyzikální fakulta
publication
Forcing with random variables and Proof Complexity
2011 |
Matematicko-fyzikální fakulta
publication
A note on SAT algorithms and proof complexity
2012 |
Matematicko-fyzikální fakulta
publication
A REDUCTION OF PROOF COMPLEXITY TO COMPUTATIONAL COMPLEXITY FOR AC(0)[p] FREGE SYSTEMS
2015 |
Matematicko-fyzikální fakulta
publication
On Protocols for Monotone Feasible Interpolation
2023 |
Matematicko-fyzikální fakulta
publication
A LIMITATION ON THE KPT INTERPOLATION
2020 |
Matematicko-fyzikální fakulta
publication
Randomized feasible interpolation and monotone circuits with a local oracle
2018 |
Matematicko-fyzikální fakulta
publication
Logic Colloquium
Publikace bez příslušnosti k fakultě
publication
The Cook-Reckhow definition
2023 |
Matematicko-fyzikální fakulta
publication
A saturation property of structures obtained by forcing with a compact family of random variables
2013 |
Matematicko-fyzikální fakulta
publication
INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH
2022 |
Matematicko-fyzikální fakulta
publication
Důkazová složitost propoziční implicitní logiky
2010 |
Matematicko-fyzikální fakulta
publication
On the computational complexity of finding hard tautologies
2014 |
Matematicko-fyzikální fakulta
publication
Proof Systems that Take Advice
2011 |
Matematicko-fyzikální fakulta