Samarbejde og topforskningsområder i de sidste fem år
-
#SAT-Algorithms for Classes of Threshold Circuits Based on Probabilistic Rank
Limaye, N., Srinivasan, A. & Srinivasan, S., 2025, 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025. Gawrychowski, P., Mazowiecki, F. & Skrzypczak, M. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18 s. 67. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 345).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil8 Downloads (Pure) -
A Near-Optimal Polynomial Distance Lemma over Boolean Slices
Amireddy, P., Raj Behera, A., Srinivasan, S. & Sudan, M., 2025, 52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025. Censor-Hillel, K., Grandoni, F., Ouaknine, J. & Puppis, G. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17 s. 11. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 334).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)7 Downloads (Pure) -
Eigenvalue Bounds for Symmetric Markov Chains on Multislices with Applications
Amireddy, P., Behera, A. R., Srinivasan, S. & Sudan, M., 2025, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2025. Ene, A. & Chattopadhyay, E. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 34. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 353).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil4 Downloads (Pure) -
Low Degree Local Correction Over the Boolean Cube.
Amireddy, P., Behera, A. R., Paraashar, M., Srinivasan, S. & Sudan, M., 2025, Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). SIAM, s. 5504-5511Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Fil1 Citationer (Scopus)35 Downloads (Pure) -
New Bounds for the Ideal Proof System in Positive Characteristic
Behera, A. R., Limaye, N., Ramanathan, V. & Srinivasan, S., 2025, 52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025. Censor-Hillel, K., Grandoni, F., Ouaknine, J. & Puppis, G. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 s. 22. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 334).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil8 Downloads (Pure) -
Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits
Limaye, N., Srinivasan, S. & Tavenas, S., 2025, I: Journal of the ACM. 72, 4, 35 s., 26.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)10 Downloads (Pure) -
The Algebraic Cost of a Boolean Sum
Orzel, I., Srinivasan, S., Tavenas, S. & Yehudayoff, A., 2025, 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2025. Aiswarya, C., Aiswarya, C., Mehta, R. & Roy, S. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 s. 47. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 360).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil5 Downloads (Pure) -
Local Correction of Linear Functions over the Boolean Cube
Amireddy, P., Behera, A. R., Paraashar, M., Srinivasan, S. & Sudan, M., 2024, STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing. Mohar, B., Shinkar, I. & O�Donnell, R. (red.). Association for Computing Machinery, s. 764-775 12 s. (Proceedings of the Annual ACM Symposium on Theory of Computing).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)21 Downloads (Pure)