Motwani, Harshit Jitendra

1 publications

IJCAI 2025 LP-Based Weighted Model Integration over Non-Linear Real Arithmetic S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic