List of Figures |
|
ix | |
List of Tables |
|
xiii | |
Contributing Authors |
|
xv | |
Preface |
|
xix | |
Acknowledgments |
|
xxii | |
Part 1 Methods |
|
|
1 The Formulation and Solution of Discrete Optimisation Models |
|
|
3 | (36) |
|
|
|
1. The Applicability of Discrete Optimisation |
|
|
3 | (1) |
|
|
4 | (1) |
|
3. The Uses of Integer Variables |
|
|
5 | (4) |
|
4. The Modelling of Common Conditions |
|
|
9 | (2) |
|
5. Reformulation Techniques |
|
|
11 | (11) |
|
|
22 | (14) |
|
|
36 | (3) |
|
2 Cuntinuous Approaches for Solving Discrete Optimization Problems |
|
|
39 | (22) |
|
Panos M. Pardalos, Oleg A. Prokopyev and Stanislav Busygin |
|
|
|
|
39 | (1) |
|
2. Equivalence of Mixed Integer and Complementarity Problems |
|
|
40 | (2) |
|
3. Continuous Formulations for 0-1 Programming Problems |
|
|
42 | (1) |
|
4. The Maximum Clique and Related Problems |
|
|
43 | (5) |
|
5. The Satisfiability Problem |
|
|
48 | (3) |
|
6. The Steiner Problem in Graphs |
|
|
51 | (1) |
|
7. Semidefinite Programming Approaches |
|
|
52 | (2) |
|
|
54 | (1) |
|
|
55 | (6) |
|
|
61 | (42) |
|
|
|
1. Solvers for Logic-Based Constraints |
|
|
63 | (1) |
|
|
64 | (5) |
|
|
69 | (8) |
|
|
77 | (6) |
|
5. 0-1 Linear Inequalities |
|
|
83 | (2) |
|
|
85 | (2) |
|
7. Mixing Logical and Continuous Variables |
|
|
87 | (5) |
|
8. Additional Global Constraints |
|
|
92 | (5) |
|
|
97 | (2) |
|
|
99 | (4) |
|
4 Modelling for Feasibility - the case of Mutually Orthogonal Latin Squares Problem |
|
|
103 | (26) |
|
Gautam Appa, Dimitris Magos, Ioannis Mourtos and Leonidas Pitsoulis |
|
|
|
|
104 | (2) |
|
2. Definitions and notation |
|
|
106 | (2) |
|
3. Formulations of the kMOLS problem |
|
|
108 | (14) |
|
|
122 | (3) |
|
|
125 | (4) |
|
|
129 | (22) |
|
|
|
|
129 | (1) |
|
|
130 | (3) |
|
|
133 | (1) |
|
|
134 | (3) |
|
5. Team Elimination in Sports |
|
|
137 | (2) |
|
6. Reasoning in Artificial Intelligence |
|
|
139 | (2) |
|
7. Ratio Comparisons in Decision Analysis |
|
|
141 | (3) |
|
|
144 | (2) |
|
9. Computer Memory Management |
|
|
146 | (2) |
|
|
148 | (3) |
|
6 Modeling and Optimization of Vehicle Routing Problems |
|
|
151 | (44) |
|
Jean-Francois Cordeau and Gilbert Laporte |
|
|
|
|
151 | (1) |
|
2. The Vehicle Routing Problem |
|
|
152 | (11) |
|
3. The Chinese Postman Problem |
|
|
163 | (5) |
|
4. Constrained Arc Routing Problems |
|
|
168 | (13) |
|
|
181 | (1) |
|
|
181 | (14) |
Part II Applications |
|
|
7 Radio Resource Management |
|
|
195 | (32) |
|
Katerina Papadaki and Vasilis Friderikos |
|
|
|
|
196 | (3) |
|
|
199 | (4) |
|
3. Myopic Problem Formulations |
|
|
203 | (5) |
|
4. The dynamic downlink problem |
|
|
208 | (14) |
|
|
222 | (2) |
|
|
224 | (3) |
|
8 Strategic and tactical planning models for supply chain: an application of stochastic mixed integer programming |
|
|
227 | (38) |
|
Gautam Mitra, Chandra Poojari and Suvrajeet Sen |
|
|
|
1. Introduction and Background |
|
|
228 | (6) |
|
2. Algorithms for stochastic mixed integer programs |
|
|
234 | (3) |
|
3. Supply chain planning and management |
|
|
237 | (7) |
|
4. Strategic supply chain planning: a case study |
|
|
244 | (15) |
|
5. Discussion and conclusions |
|
|
259 | (1) |
|
|
260 | (5) |
|
9 Logic Inference and a Decomposition Algorithm for the Resource-Constrained Scheduling of Testing Tasks in the Development of New Pharmaceutical and Agrochemical Products |
|
|
265 | (26) |
|
Christos T. Maravelias and Ignacio E. Grossmann |
|
|
|
|
266 | (1) |
|
|
266 | (2) |
|
|
268 | (3) |
|
|
271 | (6) |
|
5. Decomposition Heuristic |
|
|
277 | (4) |
|
|
281 | (1) |
|
|
281 | (1) |
|
|
282 | (1) |
|
|
283 | (1) |
|
|
284 | (1) |
|
|
284 | (1) |
|
|
285 | (6) |
|
10 A Mixed-integer Nonlinear Programming Approach to the Optimal Planning of Offshore Oilfield Infrastructures |
|
|
291 | (1) |
|
Susara A. van den Heever and Ignacio E. Grossmann |
|
|
|
|
291 | (3) |
|
|
294 | (1) |
|
|
295 | (6) |
|
|
301 | (5) |
|
|
306 | (3) |
|
6. Conclusions and Future Work |
|
|
309 | (2) |
|
|
311 | (1) |
|
|
312 | (2) |
|
|
314 | (3) |
|
11 Radiation Treatment Planning: Mixed Integer Programming Formulations and Approaches |
|
|
317 | (1) |
|
Michael C. Ferris, Robert R. Meyer and Warren D'Souza |
|
|
|
|
318 | (3) |
|
2. Gamma Knife Radiosurgery |
|
|
321 | (6) |
|
3. Brachytherapy Treatment Planning |
|
|
327 | (4) |
|
|
331 | (5) |
|
5. Conclusions and Directions for Future Research |
|
|
336 | (1) |
|
|
336 | (5) |
|
12 Multiple Hypothesis Correlation in Track-to-Track Fusion Management |
|
|
341 | (3) |
|
Aubrey B. Poore, Sabino M. Gadaleta and Benjamin J. Slocumb |
|
|
|
1. Track Fusion Architectures |
|
|
344 | (3) |
|
2. The Frame-to-Frame Matching Problem |
|
|
347 | (3) |
|
3. Assignment Problems for Frame-to-Frame Matching |
|
|
350 | (10) |
|
4. Computation of Cost Coefficients using a Batch Methodology. |
|
|
360 | (8) |
|
|
368 | (1) |
|
|
369 | (4) |
|
13 Computational Molecular Biology |
|
|
373 | (1) |
|
|
|
|
373 | (4) |
|
2. Elementary Molecular Biology Concepts |
|
|
377 | (4) |
|
|
381 | (20) |
|
4. Single Nucleotide Polymorphisms |
|
|
401 | (5) |
|
|
406 | (6) |
|
6. Genomic Mapping and the TSP |
|
|
412 | (3) |
|
7. Applications of Set Covering |
|
|
415 | (2) |
|
|
417 | (1) |
|
|
418 | (9) |
Index |
|
427 | |