Logic and Integer Programming

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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Williams, H. Paul (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: New York, NY : Springer US : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Series:International Series in Operations Research & Management Science, 130
Subjects:
Software engineering.
Operations research.
Management science.
Mathematical optimization.
Mathematical models.
Mathematical logic.
Software Engineering.
Operations Research and Decision Theory.
Operations Research, Management Science .
Optimization.
Mathematical Modeling and Industrial Mathematics.
Mathematical Logic and Foundations.
Online Access:Texto Completo
Table of Contents:
  • An Introduction To Logic
  • Integer Programming
  • Modelling In Logic For Integer Programming
  • The Satisfiability Problem and Its Extensions.

Similar Items