# 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 | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|

Monographie | CMI Salle 2 | 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.