Varun Ramanathan

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Logical Formulas

Hierarchically Organized

Quantifier Elimination

Top Venues

Log. Methods Comput. Sci.

Publications

Mrinal Kumar, Varun Ramanathan, Ramprasad Saptharishi
Deterministic Algorithms for Low Degree Factors of Constant Depth Circuits. CoRR (2023)
Diego Figueira, Varun Ramanathan
When is the Evaluation of Extended CRPQ Tractable? PODS (2022)
Diego Figueira, Varun Ramanathan, Pascal Weil
The Quantifier Alternation Hierarchy of Synchronous Relations. MFCS (2019)
Thomas Place, Varun Ramanathan, Pascal Weil
Covering and separation for logical fragments with modular predicates. Log. Methods Comput. Sci. 15 (2) (2019)
Thomas Place, Varun Ramanathan, Pascal Weil
Covering and separation for logical fragments with modular predicates. CoRR (2018)