Alexander Smal

22 papers A 3B 3Journal 16
YearRankTypeTitle / Venue / Authors
2025 B conf
Catalytic Computing and Register Programs Beyond Log-Depth.
MFCS
Yaroslav Alekseev, Yuval Filmus, Ian Mertz, Alexander Smal, Antoine Vinciguerra
2025 J jnl
Catalytic Computing and Register Programs Beyond Log-Depth.
CoRR
Yaroslav Alekseev, Yuval Filmus, Ian Mertz, Alexander Smal, Antoine Vinciguerra
2025 J jnl
Catalytic Computing and Register Programs Beyond Log-Depth.
Electron. Colloquium Comput. Complex.
Yaroslav Alekseev, Yuval Filmus, Ian Mertz, Alexander Smal, Antoine Vinciguerra
2025 J jnl
Simplifier: A New Tool for Boolean Circuit Simplification.
CoRR
Daniil Averkov, Gregory Emdin, Viktoriia Krivogornitsyna, Alexander S. Kulikov, Fedor Kurmazov, Alexander Smal, Vsevolod Vaskin
2024 A conf
Lifting Dichotomies.
CCC
Yaroslav Alekseev, Yuval Filmus, Alexander Smal
2024 J jnl
Lifting dichotomies.
Electron. Colloquium Comput. Complex.
Yaroslav Alekseev, Yuval Filmus, Alexander Smal
2024 A conf
Proving Unsatisfiability with Hitting Formulas.
ITCS
Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
2023 J jnl
Proving Unsatisfiability with Hitting Formulas.
CoRR
Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
2023 J jnl
Proving Unsatisfiability with Hitting Formulas.
Electron. Colloquium Comput. Complex.
Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
2022 J jnl
Irreducible subcube partitions.
CoRR
Yuval Filmus, Edward A. Hirsch, Sascha Kurz, Ferdinand Ihringer, Artur Riazanov, Alexander Smal, Marc Vinyals
2022 B conf
Super-Cubic Lower Bound for Generalized Karchmer-Wigderson Games.
ISAAC
Artur Ignatiev, Ivan Mihajlin, Alexander Smal
2022 J jnl
Super-cubic lower bound for generalized Karchmer-Wigderson games.
Electron. Colloquium Comput. Complex.
Artur Ignatiev, Ivan Mihajlin, Alexander Smal
2021 B conf
New Bounds on the Half-Duplex Communication Complexity.
SOFSEM
Yuriy Dementiev, Artur Ignatiev, Vyacheslav Sidelnik, Alexander Smal, Mikhail Ushakov
2021 A conf
Toward Better Depth Lower Bounds: The XOR-KRW Conjecture.
CCC
Ivan Mihajlin, Alexander Smal
2020 J jnl
New bounds on the half-duplex communication complexity.
Electron. Colloquium Comput. Complex.
Yuriy Dementiev, Artur Ignatiev, Vyacheslav Sidelnik, Alexander Smal, Mikhail Ushakov
2020 J jnl
Toward better depth lower bounds: the XOR-KRW conjecture.
Electron. Colloquium Comput. Complex.
Ivan Mihajlin, Alexander Smal
2018 J jnl
Half-duplex communication complexity.
Electron. Colloquium Comput. Complex.
Kenneth Hoover, Russell Impagliazzo, Ivan Mihajlin, Alexander Smal
2017 J jnl
Prediction from Partial Information and Hindsight, an Alternative Proof.
Electron. Colloquium Comput. Complex.
Alexander Smal, Navid Talebanfard
2016 J jnl
Circuit size lower bounds and #SAT upper bounds through a general framework.
Electron. Colloquium Comput. Complex.
Alexander Golovnev, Alexander S. Kulikov, Alexander Smal, Suguru Tamaki
2012 J jnl
On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography.
Theory Comput. Syst.
Edward A. Hirsch, Dmitry Itsykson, Ivan Monakhov, Alexander Smal
2011 J jnl
Optimal heuristic algorithms for the image of an injective function.
Electron. Colloquium Comput. Complex.
Edward A. Hirsch, Dmitry Itsykson, Valeria Nikolaenko, Alexander Smal
2010 J jnl
On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography.
Electron. Colloquium Comput. Complex.
Edward A. Hirsch, Dmitry Itsykson, Ivan Monakhov, Alexander Smal