OBDD(Join) Proofs Cannot Be Balanced. - Sergei Ovcharov (MFCS, 2023)

On Limits of Symbolic Approach to SAT Solving. - Dmitry Itsykson; Sergei Ovcharov (SAT, 2024)

Resolution Over Linear Equations: Combinatorial Games for Tree-like Size and Space. - Svyatoslav Gryaznov; Sergei Ovcharov; Artur Riazanov (ACM Trans. Comput. Theory, 2024)