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

S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic

Browse the full IJCAI paper archive.