Logic-based decision support : mixed integer model formulation / Robert G. Jeroslow
Type de document : MonographieCollection : Annals of discrete mathematics, 40Langue : anglais.Pays: Pays Bas.Éditeur : Amsterdam : North-Holland, 1989Description : 1 vol. (222 p.) : ill. ; 25 cmISBN: 0444871195.ISSN: 0167-5060.Bibliographie : Bibliography: p. 203-222.Sujet MSC : 90C11, Mathematical programming, Mixed integer programming90-02, Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming
68V15, Computer science support for mathematical research and practice, Theorem proving
90C10, Mathematical programming, Integer programming
03B35, General logic, Mechanization of proofs and logical operations
03D15, Computability and recursion theory, Complexity of computation (including implicit computational complexity) Item type:
Monographie
| Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Salle R | 90 JER (Browse shelf(Opens below)) | Available | 10022-01 |
Traditionally, research fields as integer programming and automated theorem proving were quite separate disciplines and few researchers were active in both of them. While integer programming mainly belongs to operations research, automated theorem proving is rather a part of mathematical logic. But in this book, a bridge connecting these two disciplines is built. The text is divided into two main parts: (1) mixed integer programming, and (2) logical decision methods based on theorem proving methods. (Zentralblatt)
Bibliography: p. 203-222
There are no comments on this title.