Sai Teja Varanasi

According to our database¹, Sai Teja Varanasi authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024