%0 Journal Article
%T Neural Network Branch-and-Bound for Neural Network Verification
%A Jaeckle, Florian
%A Lu, Jingyue
%A Kumar, M. Pawan
%J Computing Research Repository
%V 2021
%N 2107
%D 2021-07-27
%~ DeepDyve