Logic and Integer Programming

• Κύριος συγγραφέας: Williams, H. Paul (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2009.
• Σειρά: International Series in Operations Research & Management Science, 130
• Θέματα: Computer science.; Operations research.; Decision making.; Software engineering.; Mathematical models.; Mathematical logic.; Mathematical optimization.; Management science.; Computer Science.; Software Engineering/Programming and Operating Systems.; Operation Research/Decision Theory.; Operations Research, Management Science.; Optimization.; Mathematical Modeling and Industrial Mathematics.; Mathematical Logic and Foundations.

Integer programming (discrete optimization) is best used for solving problems involving discrete, whole elements. Using integer variables, one can model logical requirements, fixed costs, sequencing and scheduling requirements, and many other problem aspects. Whether it’s taught in OR graduate progr...

Πίνακας περιεχομένων:

• An Introduction To Logic
• Integer Programming
• Modelling In Logic For Integer Programming
• The Satisfiability Problem and Its Extensions.