Harshit J. Motwani

According to our database, Harshit J. Motwani authored at least 8 papers between 2022 and 2024.

Collaborative distances:

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

2024

Global Rigidity of Line Constrained Frameworks.

James Cruickshank, Fatemeh Mohammadi, Harshit J. Motwani, Anthony Nixon, Shin-ichi Tanigawa

SIAM J. Discret. Math., March, 2024

Faster Treewidth-Based Approximations for Wiener Index.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Pavel Hudec, Pingjiang Li, Harshit J. Motwani

Proceedings of the 22nd International Symposium on Experimental Algorithms, 2024

Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.

S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.

S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs.

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani

Proc. ACM Program. Lang., April, 2023

The leading coefficient of Lascoux polynomials.

Alessio Borzì, Xiangying Chen, Harshit J. Motwani, Lorenzo Venturello, Martin Vodicka

Discret. Math., 2023

Parameterized Algorithms for Topological Indices in Chemistry.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit J. Motwani, Sergei Novozhilov

CoRR, 2023

2022

Template-based Program Synthesis using Stellensätze.

Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani

CoRR, 2022