(1)
Danesh, M. H. Reducing Neural Network Parameter Initialization Into an SMT Problem (Student Abstract). AAAI 2021, 35, 15775-15776.