Integer Programming Models In Algorithm And Pseudocode