Botoeva, E.; Kouvaros, P.; Kronqvist, J.; Lomuscio, A.; Misener, R. Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI 2020, 34, 3291-3299.