Complexity of Propositional Proofs with Counting : Resolution over Linear Equations and Semi-Algebraic Proofs. / Part, Fjodor.

2019.

Research output: ThesisDoctoral Thesis

Unpublished

Documents

Original languageEnglish
QualificationPh.D.
Awarding Institution
Award date1 Jun 2019
Publication statusUnpublished - 2019
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 35112950