Harshit J. Motwani

11 papers A* 1B 2Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
On Certificates for Almost Sure Reachability in Stochastic Systems.
CoRR
Arash Bahari Kordabad, Rupak Majumdar, Harshit J. Motwani, Sadegh Soudjani
2025 A* conf
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization.
AAAI
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic
2024 B conf
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.
LPAR
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
2024 B conf
Faster Treewidth-Based Approximations for Wiener Index.
SEA
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Pavel Hudec, Pingjiang Li, Harshit J. Motwani
2024 J jnl
Global Rigidity of Line Constrained Frameworks.
SIAM J. Discret. Math.
James Cruickshank, Fatemeh Mohammadi, Harshit J. Motwani, Anthony Nixon, Shin-ichi Tanigawa
2024 — conf
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.
FM (1)
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
2024 J jnl
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization.
CoRR
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic
2023 J jnl
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs.
Proc. ACM Program. Lang.
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani
2023 J jnl
Parameterized Algorithms for Topological Indices in Chemistry.
CoRR
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit J. Motwani, Sergei Novozhilov
2023 J jnl
The leading coefficient of Lascoux polynomials.
Discret. Math.
Alessio Borzì, Xiangying Chen, Harshit J. Motwani, Lorenzo Venturello, Martin Vodicka
2022 J jnl
Template-based Program Synthesis using Stellensätze.
CoRR
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani