Modeling and solution techniques for integer programming.