Sasank Mouli

According to our database, Sasank Mouli authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

New Lower Bounds for Polynomial Calculus over Non-Boolean Bases.

Yogesh Dahiya, Meena Mahajan, Sasank Mouli

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Polynomial Calculus Sizes Over the Boolean and Fourier Bases are Incomparable.

Sasank Mouli

Proceedings of the 65th IEEE Annual Symposium on Foundations of Computer Science, 2024

2023

Lower Bounds for Polynomial Calculus with Extension Variables over Finite Fields.

Russell Impagliazzo, Sasank Mouli, Toniann Pitassi

Proceedings of the 38th Computational Complexity Conference, 2023

2022

Upper and Lower bounds for Polynomial Calculus with extension variables

Sasank Mouli

PhD thesis, 2022

2020

The Surprising Power of Constant Depth Algebraic Proofs.

Russell Impagliazzo, Sasank Mouli, Toniann Pitassi

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020