Aditya A. Shrotri
发表
Joao Marques-Silva,
Nina Narodytska,
Kuldeep S. Meel,
2019,
SAT.
Supratik Chakraborty,
Moshe Y. Vardi,
Aditya A. Shrotri,
2019,
CP.
Moshe Y. Vardi,
Kuldeep S. Meel,
Aditya A. Shrotri,
2018,
Constraints.
Moshe Y. Vardi,
Kuldeep S. Meel,
Aditya A. Shrotri,
2018,
Constraints.
Moshe Y. Vardi,
Kuldeep S. Meel,
Aditya A. Shrotri,
2017,
FSTTCS.
Supratik Chakraborty,
Moshe Y. Vardi,
Aditya A. Shrotri,
2020,
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD).
Kuldeep S. Meel,
Aditya A. Shrotri,
Moshe Y. Vardi,
2022,
AAAI.
Moshe Y. Vardi,
Aditya A. Shrotri,
Jeffrey M. Dudek,
2022,
IJCAI.