Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound. - Ferrari, Claudio; Müller, Mark Niklas; Jovanovic, Nikola; Vechev, Martin T. (2022)