Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification (Journal of Machine Learning Research, 2026)