Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic. - S. Akshay 001; Supratik Chakraborty; Amir Kafshdar Goharshady; R. Govind 001; Harshit J. Motwani; Sai Teja Varanasi (FM (1), 2024)

Automated Synthesis of Decision Lists for Polynomial Specifications over Integers. - S. Akshay 001; Supratik Chakraborty; Amir Kafshdar Goharshady; R. Govind 001; Harshit J. Motwani; Sai Teja Varanasi (LPAR, 2024)