Xinping Wang, Liangyu Chen, Tong Wang, Mingang Chen, Min Zhang: An Efficient Method to Measure Robustness of ReLU-Based Classifiers via Search Space Pruning. IJCNN 2021: 1-8