Login / Signup
Sadaf Khan
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 20
Top Topics
Driven Learning
Environmental Data
Boolean Satisfiability
Sat Solving
Top Venues
CoRR
Oper. Res. Decis.
ICCAD
DAC
</>
Publications
</>