Integer Programming Models In Algorithm Definition