Research on Verification of Neural Network Based on Softplus  Function by Reluplex Algorithm
陆明远, 侯春燕, 王劲松
Journal of Information Security Reserach . 2022, (9): 917 .