Optimization Over Integers