-\bibcite{Deng2012}{{7}{2012}{{Deng, Jiguo~Yu, and Chen}}{{}}}
-\bibcite{deschinkel2012column}{{8}{2012}{{Deschinkel}}{{}}}
-\bibcite{AMPL}{{9}{November 12, 2002}{{Fourer, Gay, and Kernighan}}{{}}}
-\bibcite{HeShibo}{{10}{2014}{{He et~al.}}{{He, Gong, Zhang, Chen, and Sun}}}
-\bibcite{Huang:2003:CPW:941350.941367}{{11}{2005{a}}{{Huang and Tseng}}{{}}}
-\bibcite{huang2005coverage}{{12}{2005{b}}{{Huang and Tseng}}{{}}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}Acknowledgements}{17}}
+\bibcite{iamigo:cplex}{{7}{2010}{{CPLEX}}{{}}}
+\bibcite{Deng2012}{{8}{2012}{{Deng, Jiguo~Yu, and Chen}}{{}}}
+\bibcite{deschinkel2012column}{{9}{2012}{{Deschinkel}}{{}}}
+\bibcite{AMPL}{{10}{November 12, 2002}{{Fourer, Gay, and Kernighan}}{{}}}
+\bibcite{HeShibo}{{11}{2014}{{He et~al.}}{{He, Gong, Zhang, Chen, and Sun}}}
+\bibcite{huang2005coverage}{{12}{2005}{{Huang and Tseng}}{{}}}