Improved Mixed Integer Linear Programing Formulations for Roman