If Then Constraints Integer Programming Problems