Varun Ramanathan
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| New bounds for the ideal proof system in positive characteristic | 2026-09-10 | Paper |
| Towards deterministic algorithms for constant-depth factors of constant-depth circuits ACM Transactions on Computation Theory | 2026-04-14 | Paper |
| Deterministic algorithms for low degree factors of constant depth circuits | 2024-11-28 | Paper |
| The Quantifier Alternation Hierarchy of Synchronous Relations | 2022-07-21 | Paper |
| Covering and separation for logical fragments with modular predicates (available as arXiv preprint) | 2019-05-17 | Paper |
Research outcomes over time
This page was built for person: Varun Ramanathan
