Integer Programming Models In Algorithm Design Techniques