Harshit J. Motwani

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Boolean Functions

Computationally Expensive

Bounded Treewidth

Top Venues

Proc. ACM Program. Lang.

SIAM J. Discret. Math.

Publications

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Pavel Hudec, Pingjiang Li, Harshit J. Motwani
Faster Treewidth-Based Approximations for Wiener Index. SEA (2024)
James Cruickshank, Fatemeh Mohammadi, Harshit J. Motwani, Anthony Nixon, Shin-ichi Tanigawa
Global Rigidity of Line Constrained Frameworks. SIAM J. Discret. Math. 38 (1) (2024)
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers. LPAR (2024)
Giovanna K. Conrado, Amir Kafshdar Goharshady, Harshit J. Motwani, Sergei Novozhilov
Parameterized Algorithms for Topological Indices in Chemistry. CoRR (2023)
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Alessio Borzì, Xiangying Chen, Harshit J. Motwani, Lorenzo Venturello, Martin Vodicka
The leading coefficient of Lascoux polynomials. Discret. Math. 346 (2) (2023)
Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, Harshit J. Motwani
Template-based Program Synthesis using Stellensätze. CoRR (2022)