Crossmark

Correction to: Near-Optimal Lower Bounds on Regular Resolution Refutations of Tseitin Formulas for All Constant-Degree Graphs

Crossref DOI link: https://doi.org/10.1007/s00037-021-00216-z

Published Online: 2021-11-17

Published Print: 2021-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Itsykson, Dmitry

Riazanov, Artur

Sagunov, Danil

Smirnov, Petr https://orcid.org/0000-0002-2246-0273
License Information

Text and Data Mining valid from 2021-11-17

Version of Record valid from 2021-11-17
More Information

Article History

First Online: 17 November 2021

Free to read: This content has been made available to all.