Logic-Based Decision Support: Mixed Integer Model Formulation
H. Paul Williams, R. G. Jeroslow · Journal of the Operational Research Society · 1990
I. Mixed-Integer Model Formulation. Lecture 1: Disjunctive Representations. Lecture 2: Further Illustrations. Lecture 3: Constructions which Parallel Set Operations. Lecture 4: Topics in Representability. II. Logic-Based Approaches to Decision Support. Lecture 5: Propositional Logic and Mixed Integer Programming. Lecture 6: A Primer on Predicate Logic. Lecture 7: Computational Complexity above NP: A Retrospective Overview. Lecture 8: Theorem-Proving Techniques which Utilize Discrete Programming. Lecture 9: Spatial Embeddings for Linear and Logic Structures. Lecture 10: Tasks Ahead. Illustrative Examples. Solutions to Examples. Bibliography.