M. H. Danesh, “Reducing Neural Network Parameter Initialization Into an SMT Problem (Student Abstract)”, AAAI, vol. 35, no. 18, pp. 15775-15776, May 2021.