Search for persons
X
?
Proceedings of the 39th International Conference on Computer-Aided Design ,
6
ICCAD-2020 CAD contest in X-value equivalence checking and ..:
, In:
?
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ,
8
2019 CAD Contest: Logic Regression on High Dimensional Bool..:
, In:
?
Proceedings of the 36th International Conference on Computer-Aided Design ,
12