Petr Smirnov

From MaRDI portal
Person:1983328

Available identifiers

zbMath Open smirnov.petrMaRDI QIDQ1983328

List of research outcomes





PublicationDate of PublicationType
Tight bounds for tseitin formulas2024-07-12Paper
Correction to: ``Near-optimal lower bounds on regular resolution refutations of Tseitin formulas for all constant-degree graphs2022-01-03Paper
Near-optimal lower bounds on regular resolution refutations of Tseitin formulas for all constant-degree graphs2021-09-10Paper

Research outcomes over time

This page was built for person: Petr Smirnov

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1983328&oldid=6528671"
Powered by MediaWiki