Loading…

Logic-based decision support : mixed integer model formulation /

This monograph is based on a series of lectures given by the author at the first Advanced Research Institute on Discrete Applied Mathematics, held at Rutgers University. It emphasizes connections between the representational aspects of mixed integer programming and applied logic, as well as discussi...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Jeroslow, Robert G., 1942-1988
Format: Electronic eBook
Language:Inglés
Published: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.
Series:Annals of discrete mathematics ; 40.
Subjects:
Online Access:Texto completo
Texto completo
Texto completo
Table of Contents:
  • Front Cover; Logic-Based Decision Support: Mixed Integer Model Formulation; Copyright Page; Contents; Introduction; PART I: MIXED-INTEGER MODEL FORMULATION; Lecture 1. Disjunctive Representations; Lecture 2. Furthtr Illustrations; Lecture 3. Constructions which Parallel Set Operations; Lecture 4. Topics in Representability; PART 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.