Screen LibraryLogic-based methods for optimization combining optimization and constraint satisfaction /
Saved in:
| Main Authors: | |
|---|---|
| Corporate Authors: | |
| Published: |
|
| Literature type: | Electronic eBook |
| Language: | English |
| Series: |
Wiley-Interscience series in discrete mathematics and optimization
|
| Subjects: | |
| Online Access: |
http://onlinelibrary.wiley.com/book/10.1002/9781118033036 |
| Item Description: | "A Wiley-Interscience publication." |
| Carrier Form: | xvi, 495 p. : ill. ; 25 cm. |
| Bibliography: | Includes bibliographical references (p. 463-481) and index. |
| ISBN: |
9781118033036 (electronic bk.) 1118033035 (electronic bk.) |
| Index Number: | T57 |
| CLC: | O221.1 |
| Contents: |
Front Matter -- Introduction -- 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 -- Wiley-Interscience Ser Logic and Optimization Optimization and Constraint Satisfaction Constraint Programming Development of Logic-Based Methods Recent Applications and Software Organization of the Book How Much to Read Background Material A Practical Logic-Based System A Deeper Analysis Logic-Based Modeling Traveling Salesman Problem Assignment Problem Quadratic Assignment Problem A Job Shop Scheduling Problem |