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

Auteur: Jeroslow, Robert G. (1942-) - AuteurType de document: MonographieCollection: Annals of discrete mathematics ; 40Langue: anglaisPays: Pays BasÉditeur: Amsterdam : North-Holland, 1989Description: 1 vol. (222 p.) : ill. ; 25 cm ISBN: 0444871195 ; rel. Note: 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)Bibliographie: Bibliography: p. 203-222. Sujets MSC: 90C11 Operations research, mathematical programming -- Mathematical programming -- Mixed integer programming
90-02 Operations research, mathematical programming -- Research exposition (monographs, survey articles)
68T15 Computer science -- Artificial intelligence -- Theorem proving (deduction, resolution, etc.)
90C10 Operations research, mathematical programming -- Mathematical programming -- Integer programming
03B35 Mathematical logic and foundations -- General logic -- Mechanization of proofs and logical operations
03D15 Mathematical logic and foundations -- Computability and recursion theory -- Complexity of computation
Location Call Number Status Date Due
Salle R 10022-01 / 90 JER (Browse Shelf) Available

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.
Languages: English | Français | |