Login / Signup
Nikhil Pimpalkhare
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Selection Algorithm
Cost Function
Computational Complexity
Top Venues
SAT
ASE
</>
Publications
</>
Nikhil Pimpalkhare
,
Federico Mora
,
Elizabeth Polgreen
,
Sanjit A. Seshia
MedleySolver: Online SMT Algorithm Selection.
SAT
(2021)
Nikhil Pimpalkhare
Dynamic Algorithm Selection for SMT.
ASE
(2020)