Yaroslav Alekseev

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Real Valued Functions

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Yaroslav Alekseev, Yuval Filmus, Alexander Smal
Lifting dichotomies. Electron. Colloquium Comput. Complex. (2024)
Yaroslav Alekseev, Yuval Filmus, Alexander Smal
Lifting Dichotomies. CCC (2024)
Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch
Tropical proof systems. Electron. Colloquium Comput. Complex. (2024)
Yaroslav Alekseev, Mikhail Onischuck, Arseniy Zorin, Vitaliy Chernyi, Evgeniy Iliyn, Vladimir M. Itsykson
ATSM: A coverage-based framework and a tool for test suite minimization. J. Softw. Evol. Process. 36 (6) (2024)
Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret
Semialgebraic Proofs, IPS Lower Bounds, and the \(\boldsymbol{\tau}\)-Conjecture: Can a Natural Number be Negative? SIAM J. Comput. 53 (3) (2024)
Yaroslav Alekseev, Edward A. Hirsch
The Power of the Binary Value Principle. CIAC (2023)
Yaroslav Alekseev, Edward A. Hirsch
The power of the Binary Value Principle. CoRR (2022)
Yaroslav Alekseev, Edward A. Hirsch
The power of the Binary Value Principle. Electron. Colloquium Comput. Complex. (2022)
Yaroslav Alekseev
A Lower Bound for Polynomial Calculus with Extension Rule. Computational Complexity Conference (2021)
Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret
Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative? STOC (2020)
Yaroslav Alekseev
A Lower Bound for Polynomial Calculus with Extension Rule. CoRR (2020)
Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret
Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture: Can a Natural Number be Negative? CoRR (2019)
Yaroslav Alekseev, Dima Grigoriev, Edward A. Hirsch, Iddo Tzameret
Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative? Electron. Colloquium Comput. Complex. 26 (2019)