External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Fedor Part, Iddo Tzameret. Resolution with Counting: Dag-Like Lower Bounds and Different Moduli. In Thomas Vidick, editor, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020, January 12-14, 2020, Seattle, Washington, USA. Volume 151 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Authors

Fedor Part

This author has not been identified. Look up 'Fedor Part' in Google

Iddo Tzameret

This author has not been identified. Look up 'Iddo Tzameret' in Google
runs on