Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	11th Innovations in Theoretical Computer Science Conference (ITCS) 2020, January, 2020, Seattle, WA, USA
Publisher	Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Pages	1-37
Number of pages	37
ISBN (Electronic)	978-3-95977-134-4
DOIs	https://doi.org/10.4230/LIPIcs.ITCS.2020.19
Publication status	Published - 13 Jan 2020

Access to Document

@inproceedings{a8d49bcae3f346b3ba4e63a4f2989569,

title = "Resolution with Counting: Dag-Like Lower Bounds and Different Moduli",

author = "Fjodor Part and Iddo Tzameret",

year = "2020",

month = jan,

day = "13",

doi = "10.4230/LIPIcs.ITCS.2020.19",

language = "English",

pages = "1--37",

booktitle = "11th Innovations in Theoretical Computer Science Conference (ITCS) 2020, January, 2020, Seattle, WA, USA",

publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",

}

TY - GEN

T1 - Resolution with Counting

T2 - Dag-Like Lower Bounds and Different Moduli

AU - Part, Fjodor

AU - Tzameret, Iddo

PY - 2020/1/13

Y1 - 2020/1/13

U2 - 10.4230/LIPIcs.ITCS.2020.19

DO - 10.4230/LIPIcs.ITCS.2020.19

M3 - Conference contribution

SP - 1

EP - 37

BT - 11th Innovations in Theoretical Computer Science Conference (ITCS) 2020, January, 2020, Seattle, WA, USA

PB - Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

ER -