Alexander V. Smal

Available identifiers

zbMath Open smal.alexander-vMaRDI QIDQ1704572

List of research outcomes

Publication	Date of Publication	Type
Super-cubic lower bound for generalized Karchmer-Wigderson games	2024-09-11	Paper
Irreducible subcube partitions	2024-02-23	Paper
Toward better depth lower bounds: the XOR-KRW conjecture	2023-07-12	Paper
Proving Unsatisfiability with Hitting Formulas	2023-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q5091000	2022-07-21	Paper
New bounds on the half-duplex communication complexity	2022-03-24	Paper
Prediction from partial information and hindsight, an alternative proof	2018-05-25	Paper
Circuit Size Lower Bounds and #SAT Upper Bounds Through a General Framework	2018-03-21	Paper
Gate elimination: circuit size lower bounds and \#SAT upper bounds	2018-03-12	Paper
Optimal heuristic algorithms for the image of an injective function	2013-04-09	Paper
On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography	2012-12-07	Paper

Research outcomes over time

This page was built for person: Alexander V. Smal