Aarti Gupta

Aarti Gupta

Princeton University
在 cs.princeton.edu 的电子邮件经过验证
被引用次数：10994
Formal methods system/software verification program analysis SAT/SMT solvers design automation
Vijay Ganesh

Vijay Ganesh

Professor, Georgia Institute of Technology, Atlanta, GA, USA
在 gatech.edu 的电子邮件经过验证
被引用次数：8672
SAT/SMT Solvers AI software engineering mathematical logic quantum foundations
Edward Zulkoski

Edward Zulkoski

Ph. D., University of Waterloo
在 gsd.uwaterloo.ca 的电子邮件经过验证
被引用次数：248
SAT/SMT Solvers Software Engineering
Ezudheen P

Ezudheen P

Assistant Professor in Computer Science and Engineering, Government Engineering …
在 gectcr.ac.in 的电子邮件经过验证
被引用次数：214
Program verification SAT/SMT solvers Autonomous systems