Login / Signup
Sasank Mouli
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Statistical Queries
Automated Theorem Provers
Lower Bound
Function Symbols
Top Venues
Electron. Colloquium Comput. Complex.
LICS
CCC
</>
Publications
</>
Russell Impagliazzo
,
Sasank Mouli
,
Toniann Pitassi
Lower Bounds for Polynomial Calculus with Extension Variables over Finite Fields.
CCC
(2023)
Yogesh Dahiya
,
Meena Mahajan
,
Sasank Mouli
New lower bounds for Polynomial Calculus over non-Boolean bases.
Electron. Colloquium Comput. Complex.
(2023)
Russell Impagliazzo
,
Sasank Mouli
,
Toniann Pitassi
Lower bounds for Polynomial Calculus with extension variables over finite fields.
Electron. Colloquium Comput. Complex.
(2022)
Russell Impagliazzo
,
Sasank Mouli
,
Toniann Pitassi
The Surprising Power of Constant Depth Algebraic Proofs.
LICS
(2020)
Russell Impagliazzo
,
Sasank Mouli
,
Toniann Pitassi
The Surprising Power of Constant Depth Algebraic Proofs.
Electron. Colloquium Comput. Complex.
26 (2019)