Resolution with Counting : Dag-Like Lower Bounds and Different Moduli. / Part, Fedor; Tzameret, Iddo.

In: Computational Complexity, Vol. 30, No. 1, 2, 08.01.2021.

Research output: Contribution to journalArticlepeer-review

Published

Documents

  • Accepted Manuscript

    Accepted author manuscript, 1.19 MB, PDF document

    Embargo ends: 8/01/22

Links

Original languageEnglish
Article number2
JournalComputational Complexity
Volume30
Issue number1
DOIs
Publication statusPublished - 8 Jan 2021
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 40160747