Login / Signup
Sai Teja Varanasi
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Decision Lists
Attribute Efficient Learning
Boolean Functions
Top Venues
LPAR
</>
Publications
</>
S. Akshay
,
Supratik Chakraborty
,
Amir Kafshdar Goharshady
,
R. Govind
,
Harshit J. Motwani
,
Sai Teja Varanasi
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.
LPAR
(2024)