An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks. - Samvid Mistry; Indranil Saha; Swarnendu Biswas (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)