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

Fjodor Part, Iddo Tzameret

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

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
Number of pages37
ISBN (Electronic)978-3-95977-134-4
Publication statusPublished - 13 Jan 2020

Cite this