Harshit Jitendra Motwani

1 paper in the IJCAI proceedings

IJCAI 2025

LP-Based Weighted Model Integration over Non-Linear Real Arithmetic

with S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Goharshady, Đorđe Žikelić

doi:10.24963/ijcai.2025/1005

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings