Sasank Mouli

12 papers A* 2A 2Journal 7

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Logspace Constructive Proof of L=SL. CoRR Sam Buss, Anant Dhayal, Valentine Kabanets, Antonina Kolokolova, Sasank Mouli
2025	J	`jnl`	A Logspace Constructive Proof of L=SL. Electron. Colloquium Comput. Complex. Sam Buss, Anant Dhayal, Valentine Kabanets, Antonina Kolokolova, Sasank Mouli
2024	A	`conf`	New Lower Bounds for Polynomial Calculus over Non-Boolean Bases. SAT Yogesh Dahiya, Meena Mahajan, Sasank Mouli
2024	A*	`conf`	Polynomial Calculus Sizes Over the Boolean and Fourier Bases are Incomparable. FOCS Sasank Mouli
2024	J	`jnl`	Polynomial Calculus sizes over the Boolean and Fourier bases are incomparable. CoRR Sasank Mouli
2024	J	`jnl`	Polynomial Calculus sizes over the Boolean and Fourier bases are incomparable. Electron. Colloquium Comput. Complex. Sasank Mouli
2023	A	`conf`	Lower Bounds for Polynomial Calculus with Extension Variables over Finite Fields. CCC Russell Impagliazzo, Sasank Mouli, Toniann Pitassi
2023	J	`jnl`	New lower bounds for Polynomial Calculus over non-Boolean bases. Electron. Colloquium Comput. Complex. Yogesh Dahiya, Meena Mahajan, Sasank Mouli
2022	J	`jnl`	Lower bounds for Polynomial Calculus with extension variables over finite fields. Electron. Colloquium Comput. Complex. Russell Impagliazzo, Sasank Mouli, Toniann Pitassi
2022	—	`—`	Upper and Lower bounds for Polynomial Calculus with extension variables Sasank Mouli
2020	A*	`conf`	The Surprising Power of Constant Depth Algebraic Proofs. LICS Russell Impagliazzo, Sasank Mouli, Toniann Pitassi
2019	J	`jnl`	The Surprising Power of Constant Depth Algebraic Proofs. Electron. Colloquium Comput. Complex. Russell Impagliazzo, Sasank Mouli, Toniann Pitassi