Problem Formulations and Numerical Analysis in Interger Programming and Combinatorial Optimization