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...
Call Number: | Libro Electrónico |
---|---|
Main Author: | |
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.