Akshar S. Nair

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Computer Aided Design

Constraint Satisfaction

Theorem Proving

Top Venues

SC-Square@SIAM AG

Publications