Alexander V. Smal

Available identifiers

zbMath Open smal.alexander-vMaRDI QIDQ1704572

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander V. Smal