Original language | English |
---|---|
Qualification | Ph.D. |
Awarding Institution |
|
Award date | 1 Jun 2019 |
Publication status | Unpublished - 2019 |
Complexity of Propositional Proofs with Counting: Resolution over Linear Equations and Semi-Algebraic Proofs
Fjodor Part
Research output: Thesis › Doctoral Thesis
135
Downloads
(Pure)