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

11th Innovations in Theoretical Computer Science Conference (ITCS) 2020, January, 2020, Seattle, WA, USA. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2020. p. 1-37.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publication11th Innovations in Theoretical Computer Science Conference (ITCS) 2020, January, 2020, Seattle, WA, USA
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Pages1-37
Number of pages37
ISBN (Electronic)978-3-95977-134-4
DOIs
Publication statusPublished - 13 Jan 2020
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 35019168