Logic and Integer Programming (International Series in Operations Research & Management Science) - Integer programming (discrete optimization) is best used for solving problems involving discrete, whole elements. Using integer variables, one can model logical requirements, fixed costs, sequencing and scheduling requirements, and many other problem aspects. Whether it’s taught in OR graduate programs or in math or computer science programs; in courses called "Integer Programming," "Combinatorial Optimization," "Combinatorial Optimization and Integer Programming" or simply "Advanced Operations Management," it’s a part of every OR curriculum, and one of its greatest teachers has developed a text that shows how to use logic in integer programming to develop models with much greater precision.