Correction to: ``Near-optimal lower bounds on regular resolution refutations of Tseitin formulas for all constant-degree graphs''
scientific article; zbMATH DE number 7451420