Nikhil Pimpalkhare

According to our database, Nikhil Pimpalkhare authored at least 2 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

MedleySolver: Online SMT Algorithm Selection.

Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Dynamic Algorithm Selection for SMT.

Nikhil Pimpalkhare

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020