Your cart is empty.

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.