Govind Rajanbabu

Postdoctoral position at Department of Information Technology; Division of Computer Systems

Telephone:: +46 18 471 54 28
E-mail:: govind.rajanbabu@it.uu.se
Visiting address:: Hus 10, Lägerhyddsvägen 1
Postal address:: Box 337
751 05 UPPSALA

Download contact information for Govind Rajanbabu at Department of Information Technology; Division of Computer Systems

Publications

Recent publications

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic

Akshayl, S.; Chakrabortyl, Supratik; Goharshady, Amir Kafshdar; Govind, Rajanbabu et al.

Part of Formal Methods, p. 111-130, 2025
- DOI for Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
- Download full text (pdf) of Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic

All publications

Conference papers

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic

Akshayl, S.; Chakrabortyl, Supratik; Goharshady, Amir Kafshdar; Govind, Rajanbabu et al.

Part of Formal Methods, p. 111-130, 2025
- DOI for Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
- Download full text (pdf) of Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic