A new Integer Linear Programming and Quadratically Constrained Quadratic Programming Formulation for Vertex Bisection Minimization Problem - Jain, Pallavi; Saran, Gur; Srivastava, Kamal (Journal of Automation, Mobile Robotics and Intelligent Systems, 2016)