Willkommen, schön sind Sie da!
Logo Ex Libris

Logic-Based Methods for Optimization

  • Fester Einband
  • 520 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
"...book...should be widely read by graduate students and researchers in both the computer science and optimization communities."... Weiterlesen
CHF 274.00
Auslieferung erfolgt in der Regel innert 2 bis 3 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Zusatztext "...book...should be widely read by graduate students and researchers in both the computer science and optimization communities." (Choice! Vol. 38! No. 7! March 2001)"Goal is to broaden the conceptual foundations of optimization to include logical and constraint based approaches to traditional optimization methods." (American Mathematical Monthly! November 2001)"The author combines a low-key! often conversational presentation with enthusiasm for a synthesis with traditional optimization methods..." (SIAM Review! Vol. 43! No. 4)"The book is for practitioners as well as theorists" (Zentralblatt Math! Vol.974! No.24! 2001) Zusammenfassung Examining the role of logic in optimization as the theme for integration! this volume is designed for courses in optimization! in particular discrete optimization. Much of the emphasis is placed on corporate tools and techniques! including a wide range of programming options. Informationen zum Autor JOHN HOOKER! PhD! is Professor of Operations Research and T. Jerome Holleran Professor of Business Ethics and Social Responsibility at the Graduate School of Industrial Administration! Carnegie Mellon University. Well-known for his work in the operations research/computer science interface! Dr. Hooker has published over 80 articles and coauthored (with Vijay Chandru) Optimization Methods for Logical Inference! also available from Wiley. Klappentext A pioneering look at the fundamental role of logic in optimization and constraint satisfactionWhile recent efforts to combine optimization and constraint satisfaction have received considerable attention! little has been said about using logic in optimization as the key to unifying the two fields. Logic-Based Methods for Optimization develops for the first time a comprehensive conceptual framework for integrating optimization and constraint satisfaction! then goes a step further and shows how extending logical inference to optimization allows for more powerful as well as flexible modeling and solution techniques. Designed to be easily accessible to industry professionals and academics in both operations research and artificial intelligence! the book provides a wealth of examples as well as elegant techniques and modeling frameworks ready for implementation. Timely! original! and thought-provoking! Logic-Based Methods for Optimization:* Demonstrates the advantages of combining the techniques in problem solving* Offers tutorials in constraint satisfaction/constraint programming and logical inference* Clearly explains such concepts as relaxation! cutting planes! nonserial dynamic programming! and Bender's decomposition* Reviews the necessary technologies for software developers seeking to combine the two techniques* Features extensive references to important computational studies* And much more Inhaltsverzeichnis Some Examples.The Logic of Propositions.The Logic of Discrete Variables.The Logic of 0-1 Inequalities.Cardinality Clauses.Classical Boolean Methods.Logic-Based Modeling.Logic-Based Branch and Bound.Constraint Generation.Domain Reduction.Constraint Programming.Continuous Relaxations.Decomposition Methods.Branching Rules.Relaxation Duality.Inference Duality.Search Strategies.Logic-Based Benders Decomposition.Nonserial Dynamic Programming.Discrete Relaxations.References.Index. ...

Autorentext
JOHN HOOKER, PhD, is Professor of Operations Research and T. Jerome Holleran Professor of Business Ethics and Social Responsibility at the Graduate School of Industrial Administration, Carnegie Mellon University. Well-known for his work in the operations research/computer science interface, Dr. Hooker has published over 80 articles and coauthored (with Vijay Chandru) Optimization Methods for Logical Inference, also available from Wiley.

Klappentext
A pioneering look at the fundamental role of logic in optimization and constraint satisfaction While recent efforts to combine optimization and constraint satisfaction have received considerable attention, little has been said about using logic in optimization as the key to unifying the two fields. Logic-Based Methods for Optimization develops for the first time a comprehensive conceptual framework for integrating optimization and constraint satisfaction, then goes a step further and shows how extending logical inference to optimization allows for more powerful as well as flexible modeling and solution techniques. Designed to be easily accessible to industry professionals and academics in both operations research and artificial intelligence, the book provides a wealth of examples as well as elegant techniques and modeling frameworks ready for implementation. Timely, original, and thought-provoking, Logic-Based Methods for Optimization: * Demonstrates the advantages of combining the techniques in problem solving * Offers tutorials in constraint satisfaction/constraint programming and logical inference * Clearly explains such concepts as relaxation, cutting planes, nonserial dynamic programming, and Bender's decomposition * Reviews the necessary technologies for software developers seeking to combine the two techniques * Features extensive references to important computational studies * And much more

Zusammenfassung
Examining the role of logic in optimization as the theme for integration, this volume is designed for courses in optimization, in particular discrete optimization. Much of the emphasis is placed on corporate tools and techniques, including a wide range of programming options.

Inhalt
Some Examples. The Logic of Propositions. The Logic of Discrete Variables. The Logic of 0-1 Inequalities. Cardinality Clauses. Classical Boolean Methods. Logic-Based Modeling. Logic-Based Branch and Bound. Constraint Generation. Domain Reduction. Constraint Programming. Continuous Relaxations. Decomposition Methods. Branching Rules. Relaxation Duality. Inference Duality. Search Strategies. Logic-Based Benders Decomposition. Nonserial Dynamic Programming. Discrete Relaxations. References. Index.

Produktinformationen

Titel: Logic-Based Methods for Optimization
Untertitel: Combining Optimization and Constraint Satisfaction
Autor:
EAN: 9780471385219
ISBN: 978-0-471-38521-9
Format: Fester Einband
Herausgeber: Wiley
Genre: Mathematik
Anzahl Seiten: 520
Gewicht: 879g
Größe: H243mm x B161mm x T29mm
Jahr: 2000
Auflage: 1. Auflage