Normal view MARC view ISBD view

Logic-based decision support : mixed integer model formulation / Robert G. Jeroslow

Auteur principal : Jeroslow, Robert G., 1942-, AuteurType 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 programming
90-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)
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
90 JER (Browse shelf) 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 for this item.

Log in to your account to post a comment.