Alexander Smal

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 15

Top Topics

Daubechies Wavelet

Propositional Satisfiability

Partial Information

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)
Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
Proving Unsatisfiability with Hitting Formulas. ITCS (2024)
Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
Proving Unsatisfiability with Hitting Formulas. CoRR (2023)
Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals
Proving Unsatisfiability with Hitting Formulas. Electron. Colloquium Comput. Complex. (2023)
Artur Ignatiev, Ivan Mihajlin, Alexander Smal
Super-cubic lower bound for generalized Karchmer-Wigderson games. Electron. Colloquium Comput. Complex. 29 (2022)
Yuval Filmus, Edward A. Hirsch, Sascha Kurz, Ferdinand Ihringer, Artur Riazanov, Alexander Smal, Marc Vinyals
Irreducible subcube partitions. CoRR (2022)
Artur Ignatiev, Ivan Mihajlin, Alexander Smal
Super-Cubic Lower Bound for Generalized Karchmer-Wigderson Games. ISAAC (2022)
Yuriy Dementiev, Artur Ignatiev, Vyacheslav Sidelnik, Alexander Smal, Mikhail Ushakov
New Bounds on the Half-Duplex Communication Complexity. SOFSEM (2021)
Ivan Mihajlin, Alexander Smal
Toward Better Depth Lower Bounds: The XOR-KRW Conjecture. Computational Complexity Conference (2021)
Yuriy Dementiev, Artur Ignatiev, Vyacheslav Sidelnik, Alexander Smal, Mikhail Ushakov
New bounds on the half-duplex communication complexity. Electron. Colloquium Comput. Complex. 27 (2020)
Ivan Mihajlin, Alexander Smal
Toward better depth lower bounds: the XOR-KRW conjecture. Electron. Colloquium Comput. Complex. 27 (2020)
Kenneth Hoover, Russell Impagliazzo, Ivan Mihajlin, Alexander Smal
Half-duplex communication complexity. Electron. Colloquium Comput. Complex. 25 (2018)
Alexander Smal, Navid Talebanfard
Prediction from Partial Information and Hindsight, an Alternative Proof. Electron. Colloquium Comput. Complex. 24 (2017)
Alexander Golovnev, Alexander S. Kulikov, Alexander Smal, Suguru Tamaki
Circuit size lower bounds and #SAT upper bounds through a general framework. Electron. Colloquium Comput. Complex. 23 (2016)
Edward A. Hirsch, Dmitry Itsykson, Ivan Monakhov, Alexander Smal
On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography. Theory Comput. Syst. 51 (2) (2012)
Edward A. Hirsch, Dmitry Itsykson, Valeria Nikolaenko, Alexander Smal
Optimal heuristic algorithms for the image of an injective function. Electron. Colloquium Comput. Complex. 18 (2011)
Edward A. Hirsch, Dmitry Itsykson, Ivan Monakhov, Alexander Smal
On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography. Electron. Colloquium Comput. Complex. 17 (2010)