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

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Computational complexity 2021, Vol.30 (2), Article 16
Hauptverfasser:	Itsykson, Dmitry, Riazanov, Artur, Sagunov, Danil, Smirnov, Petr
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithm Analysis and Problem Complexity Computational Mathematics and Numerical Analysis Computer Science Correction
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!