Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong: Certified Quantization Strategy Synthesis for Neural Networks. FM (1) 2024: 343-362