Vsevolod Oparin

Available identifiers

zbMath Open oparin.vsevolodMaRDI QIDQ2818002

List of research outcomes

Publication	Date of Publication	Type
Computational and Proof Complexity of Partial String Avoidability	2022-03-14	Paper
Algorithmic and Hardness Results for the Hub Labeling Problem	2018-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4608614	2018-03-21	Paper
Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles	2017-07-28	Paper
Tight Upper Bound on Splitting by Linear Combinations for Pigeonhole Principle	2016-09-05	Paper
Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP	2013-06-14	Paper

Research outcomes over time

This page was built for person: Vsevolod Oparin