Search filters

List of works by Dmitry Itsykson

Bounded-depth Frege complexity of Tseitin formulas for all graphs

scientific article published in 2023

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

scientific article published in 2021

Hard Satisfiable Formulas for Splittings by Linear Combinations

article

Heuristic Time Hierarchies via Hierarchies for Sampling Distributions

Lower Bounds on OBDD Proofs with Several Orders

scientific article published in 2021

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

scientific article published in 2021

Paulina is supported by:

About Paulina

Help