Logic-based methods for optimization: combining optimization and constraint satisfaction
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Wiley
2000
|
| Schriftenreihe: | Wiley interscience series in discrete mathematics and optimization
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVI, 495 S. graph. Darst. |
| ISBN: | 0471385212 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013298123 | ||
| 003 | DE-604 | ||
| 005 | 20150424 | ||
| 007 | t | ||
| 008 | 000810s2000 d||| |||| 00||| eng d | ||
| 020 | |a 0471385212 |9 0-471-38521-2 | ||
| 035 | |a (OCoLC)247018020 | ||
| 035 | |a (DE-599)BVBBV013298123 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a T57.74 | |
| 082 | 0 | |a 519.72 | |
| 084 | |a SK 870 |0 (DE-625)143265: |2 rvk | ||
| 084 | |a 11 |2 ssgn | ||
| 100 | 1 | |a Hooker, John |d 1949- |e Verfasser |0 (DE-588)141218991 |4 aut | |
| 245 | 1 | 0 | |a Logic-based methods for optimization |b combining optimization and constraint satisfaction |c John Hooker |
| 264 | 1 | |a New York [u.a.] |b Wiley |c 2000 | |
| 300 | |a XVI, 495 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Wiley interscience series in discrete mathematics and optimization | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Optimierung |0 (DE-588)4043664-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Lineare Optimierung |0 (DE-588)4035816-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Lineare Optimierung |0 (DE-588)4035816-1 |D s |
| 689 | 0 | 1 | |a Optimierung |0 (DE-588)4043664-0 |D s |
| 689 | 0 | 2 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009065854&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009065854 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804128066192015361 |
|---|---|
| adam_text | Titel: Logic based methods for optimization
Autor: Hooker, John
Jahr: 2000
Contents
Preface vii
1 Introduction 1
1.1 Logic and Optimization 1
1.1.1 Optimization and Constraint Satisfaction 2
1.1.2 Constraint Programming 4
1.1.3 Development of Logic-Based Methods 6
1.1.4 Recent Applications and Software 8
1.2 Organization of the Book 9
1.2.1 How Much to Read 9
1.2.2 Background Material 11
1.2.3 A Practical Logic-Based System 12
1.2.4 A Deeper Analysis 12
2 Some Examples 15
2.1 Logic-Based Modeling 16
2.1.1 The Traveling Salesman Problem 17
2.1.2 The Assignment Problem 18
2.1.3 The Quadratic Assignment Problem 19
2.1.4 A Job Shop Scheduling Problem 20
ix
* CONTENTS
2.2 A Knapsack Problem 23
2.2.1 An Integer Programming Model 23
2.2.2 An Integer Programming Solution 24
2.2.3 A Logic-Based Solution 27
2.3 Processing Network Design 31
2.3.1 An Integer Programming Approach 32
2.3.2 A Logic-Based Approach 33
2-4 Lot Sizing 37
2.4-1 An Integer Programming Model 38
2-4-2 A Logic-Based Model 39
3 The Logic of Propositions 43
3.1 The Idea of Propositional Logic 44
3.1.1 Formulas 44
3.1.2 Clauses 45
3.1.3 Conversion to Clausal Form 47
3.1.4 Horn Clauses 48
3.1.5 Renamable Horn Clauses 50
3.2 Resolution 53
3.2.1 The Resolution Algorithm 53
3.2.2 Projection 55
3.2.3 Unit Resolution 57
3.2.4 Constraint-Based Search 59
4 The Logic of Discrete Variables 61
4-1 Formulas of Discrete-Variable Logic 62
4-1.1 Formulas and Semantics 62
4-1.2 Multivalent Clauses 62
4-2 Multivalent Resolution 63
4-2.1 Full Resolution 63
4-2.2 Projection 65
4-2.3 Unit Resolution 65
4.2.4 Constraint Generation 66
4-3 Defined Predicates 67
5 The Logic of 0-1 Inequalities 69
5.1 Inequalities and Implication 70
5.2 Resolution for 0-1 Inequalities 73
CONTENTS Xi
5.2.1 The Algorithm 73
5.2.2 Completeness of 0-1 Resolution 74
5.2.3 Resolution and Cutting Planes 76
5.3 Equivalent Inequalities 78
5.3.1 Characterizing an Equivalence Class 78
5.3.2 A Polar Approach to Checking
Equivalence 79
5.3.3 Polar Characterization of Equivalence
Classes 83
5.3.4 Canonical Inequalities 85
6 Cardinality Clauses 89
6.1 Resolution for Cardinality Clauses 90
6.1.1 The Classical Resolution Step 90
6.1.2 The Diagonal Summation Step 93
6.2 Generating Cardinality Clauses 95
6.2.1 Implied Cardinality Clauses 95
6.2.2 Generating Nonredundant Implications 97
6.2.3 Implied Contiguous Clauses 101
7 Classical Boolean Methods 105
7.1 Pseudoboolean Optimization 107
7.1.1 The Basic Method 108
7.1.2 The Basic Algorithm Revisited 110
7.2 Roof Duality 112
7.2.1 Roofs 112
7.2.2 The Roof Dual 114
7.3 Implied Constraints 116
7.3.1 Implications of a Linear 0-1 Inequality 117
7.3.2 Implications of a Nonlinear 0-1 Inequality 118
7.4 Matching Problems 120
8 Logi c-Based Modeling 127
8.1 A Modeling Framework 128
8.1.1 The Basic Framework 129
8.1.2 A Growing Lexicon of Global Constraints 130
8.1.3 Element Constraints and Variable
Subscripts 131
8.1.4 Sum Constraints and Variable Index Sets 133
xii CONTENTS
8.1.5 Integer and Mixed Integer Modeling 133
8.1.6 The Objective Function 136
8.2 Some Modeling Examples Revisited 137
8.2.1 Traveling Salesman, Assignment, and Job
Shop Problems 137
8.2.2 Knapsack Problem 139
8.2.3 Processing Network Design 140
8.2.4 Lot-Sizing 141
8.3 Additional Examples 142
8.3.1 The Progressive Party Problem 142
8.3.2 A Resource-Constrained Scheduling
Problem 144
8.3.3 A Production Scheduling Problem 146
9 Logic-Based Branch and Bound 149
9.1 The Solution Strategy 150
9.1.1 Inference 152
9.1.2 Solution of a Relaxation 155
9.1.3 Completion of the Solution 156
9.1.4 Branching 158
9.2 Statement of the Algorithm 159
10 Constraint Generation 163
10.1 Consistency and the Dependency Graph 165
10.1.1 Consistency 165
10.1.2 The Dependency Graph 166
10.1.3 Constraints and Satisfaction 167
10.2 Consistency and Backtracking 167
10.2.1 k-Consistency 168
10.2.2 k-Consistency and Backtracking 170
10.2.3 Binary Problems 172
10.2.4 Achieving k-Consistency 172
10.3 Adaptive Consistency 175
10.3.1 Adaptive Consistency and Backtracking 175
10.3.2 Achieving Adaptive Consistency 176
10.3.3 Induced Width and k-Trees 177
10.3.4 Induced Width and Complexity 178
10-4 Minimum Width Orderings 179
10.4-1 Finding a Minimum-Width Ordering 179
CONTENTS
xiii
10.4-2 Minimum Bandwidth Orderings 179
10.4-3 Finding a Minimum Bandwidth Ordering 180
11 Domain Reduction 185
11.1 Consistency 187
11.1.1 Arc and Hyperarc Consistency 187
11.1.2 Bounds Consistency 189
11.2 The Element and Sum Constraints 190
11.2.1 The Element Constraint 191
11.2.2 The Sum Constraint 193
11.3 The All-Different Constraint 196
11.3.1 A Combinatorial Algorithm 196
11.3.2 Domain Reduction as a Matching Problem 199
11.4 Constraint Propagation 201
12 Constraint Programming 203
12.1 Development of Constraint Programming 204
12.2 Logic Programming 206
12.2.1 Basic Idea 206
12.2.2 A Scheduling Problem 209
12.3 Constraint Logic Programming 211
12.3.1 Unification as Constraint Solving 212
12.3.2 A Scheduling Problem 216
12-4 Other Approaches 219
13 Continuous Relaxations 225
13.1 Relaxations of Discrete Constraints 227
13.1.1 Propositional Formulas 227
13.1.2 Cardinality Rules 229
13.1.3 All-different Constraints 231
13.2 Relaxations for Mixed Constraints 233
13.2.1 Weak Continuous Relaxations 234
13.2.2 Lifted versus Projected Relaxations 237
13.3 Lifted Relaxations 239
13.3.1 Jeroslow s Representability Theorem 240
13.3.2 Disjunctions: Big-M Relaxations 244
13.3.3 Disjunctions: Convex Hull Relaxation 248
13.4 Projected Relaxations 249
Xiv CONTENTS
13.4.1 Projection Methods for Linear Systems 250
13-4-2 Disjunctions: Elementary Inequalities 252
13-4-3 Disjunctions: Supporting Inequalities 256
13.4-4 Disjunctions: Optimal Separating
Inequalities 257
13-4-5 Fixed Charge Problems 260
13.4.6 Piecewise Linear Functions 263
13.4.7 Element Constraints 265
13.4-8 Extended Element Constraints 267
14 Decomposition Methods 271
14.1 Outer Approximation 272
14.1.1 The Basic Algorithm 272
14.1.2 Getting Started 273
14.2 Benders Decomposition 276
14.2.1 The Classical Method 276
14-2.2 Linear Disjunctions 278
14-2.3 Generalized Benders Decomposition 281
14.2.4 Nonlinear Disjunctions 282
15 Branching Rules 285
15.1 General-Purpose Branching Heuristics 286
15.1.1 Rationales for the Heuristics 286
15.1.2 Conclusion 292
15.2 Branching for Logical Clauses 292
15.2.1 Empirical Behavior of Branching Rules 293
15.2.2 The Jeroslow-Wang Rule 294
15.2.3 The Maximum Satisfiability Hypothesis 294
15.2.4 -A Simplification Hypothesis 296
15.2.5 Conclusions 298
15.3 First-Fail Heuristics 299
15.3.1 An Elementary Analysis 300
15.3.2 A More Refined Analysis 302
16 Relaxation Duality 305
16.1 Strengthenings and Relaxations 306
16.1.1 A Strengthening Strategy 307
16.1.2 A Relaxation Strategy 309
16.2 Branching 310
CONTENTS XV
16.3 Mixed Strategies 313
16.3.1 Relaxation of Strengthenings 313
16.3.2 Strengthenings of a Relaxation 315
16.4 Relaxation Duality 318
16.4-1 The Relaxation Dual 320
16.4-2 The Lagrangean and, Surrogate Duals 321
17 Inference Duality 325
17.1 Constraint Generation 327
17.1.1 Constraints as Cuts 327
17.1.2 Constraint-Based Search 329
17.2 Basic Definition 331
17.3 Linear Programming Duality 333
17.3.1 Linear Inference 333
17.3.2 Sensitivity Analysis 335
17-4 Duality for Logical Clauses 337
17.4-1 The Dual Solution as a Resolution Proof 338
17.4-2 Recovering a Dual from a Primal Solution 340
17.5 Duality for Horn Clauses 343
17.6 0-1 Linear Programming Duality 347
17.6.1 Recovering an Indirect Optimality Proof 348
17.6.2 Recovering a Direct Optimality Proof 351
17.6.3 Sensitivity Analysis 355
18 Search Strategies 361
18.1 Branching and Constraint-Based Search 362
18.1.1 Search over Partial Assignments 363
18.1.2 Branching as Constraint-Based Search 367
18.1.3 Parallel Resolution Search 369
18.2 Dependency-Directed Backtracking 376
18.2.1 Backjumping 376
18.2.2 Backchecking and Backmarking 380
18.3 Dynamic Backtracking 382
18.3.1 Partial-Order Dynamic Backtracking 384
18.3.2 Generalized Dynamic Backtracking 385
19 Logic-Based Benders Decomposition 389
19.1 Benders Decomposition in the Abstract 391
XVi CONTENTS
19.1.1 A Simple Example 392
19.1.2 The Algorithm 394
19.1.3 Advantage of Benders Decomposition 396
19.1.4 Benders Decomposition as Projection 396
19.2 Classical Benders Decomposition 399
19.2.1 Convergence of Classical Benders 401
19.2.2 An Example 401
19.3 Propositional Satisfiability 402
19.4 0-1 Linear Programming 408
19.5 Optimization Plus Constraint Satisfaction 4H
19.5.1 The Basic Framework 414
19.5.2 Example: Machine Scheduling 415
19.6 Benders Decomposition for Branching 418
19.6.1 Mixed Integ er Programming 419
19.6.2 Problems with Relaxation 419
20 Nonserial Dynamic Programming 4%3
20.1 The Basic Recursion 4M
20.1.1 A Feasibility Problem 4^4
20.1.2 Two Optimization Problems 4% 1
20.1.3 Formal Development 4%9
20.2 State Space Transition 432
20.2.1 Serial Examples 433
20.2.2 Nonserial Examples 436
21 Discrete Relaxations 443
21.1 Relaxation by Decoupling 444
21.1.1 Decoupling by Projection 444
21.1.2 Reducing the Induced Width 446
21.1.3 Using Relaxations Based on Decoupling 448
21.2 Discrete Relaxation Duals 454
21.2.1 Duality for Relaxation by Decoupling 454
21.2.2 A Discrete Lagrangean Relaxation 4 58
21.2.3 Discrete Relaxation of the Traveling
Salesman Problem 459
References 4^3
Index 483
|
| any_adam_object | 1 |
| author | Hooker, John 1949- |
| author_GND | (DE-588)141218991 |
| author_facet | Hooker, John 1949- |
| author_role | aut |
| author_sort | Hooker, John 1949- |
| author_variant | j h jh |
| building | Verbundindex |
| bvnumber | BV013298123 |
| callnumber-first | T - Technology |
| callnumber-label | T57 |
| callnumber-raw | T57.74 |
| callnumber-search | T57.74 |
| callnumber-sort | T 257.74 |
| callnumber-subject | T - General Technology |
| classification_rvk | SK 870 |
| ctrlnum | (OCoLC)247018020 (DE-599)BVBBV013298123 |
| dewey-full | 519.72 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 519 - Probabilities and applied mathematics |
| dewey-raw | 519.72 |
| dewey-search | 519.72 |
| dewey-sort | 3519.72 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01718nam a2200421 c 4500</leader><controlfield tag="001">BV013298123</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150424 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000810s2000 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471385212</subfield><subfield code="9">0-471-38521-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)247018020</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013298123</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">T57.74</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.72</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 870</subfield><subfield code="0">(DE-625)143265:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">11</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hooker, John</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)141218991</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic-based methods for optimization</subfield><subfield code="b">combining optimization and constraint satisfaction</subfield><subfield code="c">John Hooker</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Wiley</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 495 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Wiley interscience series in discrete mathematics and optimization</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Optimierung</subfield><subfield code="0">(DE-588)4043664-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lineare Optimierung</subfield><subfield code="0">(DE-588)4035816-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Lineare Optimierung</subfield><subfield code="0">(DE-588)4035816-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Optimierung</subfield><subfield code="0">(DE-588)4043664-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009065854&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009065854</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV013298123 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:43:20Z |
| institution | BVB |
| isbn | 0471385212 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009065854 |
| oclc_num | 247018020 |
| open_access_boolean | |
| owner | DE-703 DE-83 DE-11 |
| owner_facet | DE-703 DE-83 DE-11 |
| physical | XVI, 495 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Wiley |
| record_format | marc |
| series2 | Wiley interscience series in discrete mathematics and optimization |
| spelling | Hooker, John 1949- Verfasser (DE-588)141218991 aut Logic-based methods for optimization combining optimization and constraint satisfaction John Hooker New York [u.a.] Wiley 2000 XVI, 495 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Wiley interscience series in discrete mathematics and optimization Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Optimierung (DE-588)4043664-0 gnd rswk-swf Lineare Optimierung (DE-588)4035816-1 gnd rswk-swf Lineare Optimierung (DE-588)4035816-1 s Optimierung (DE-588)4043664-0 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009065854&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hooker, John 1949- Logic-based methods for optimization combining optimization and constraint satisfaction Mathematische Logik (DE-588)4037951-6 gnd Optimierung (DE-588)4043664-0 gnd Lineare Optimierung (DE-588)4035816-1 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4043664-0 (DE-588)4035816-1 |
| title | Logic-based methods for optimization combining optimization and constraint satisfaction |
| title_auth | Logic-based methods for optimization combining optimization and constraint satisfaction |
| title_exact_search | Logic-based methods for optimization combining optimization and constraint satisfaction |
| title_full | Logic-based methods for optimization combining optimization and constraint satisfaction John Hooker |
| title_fullStr | Logic-based methods for optimization combining optimization and constraint satisfaction John Hooker |
| title_full_unstemmed | Logic-based methods for optimization combining optimization and constraint satisfaction John Hooker |
| title_short | Logic-based methods for optimization |
| title_sort | logic based methods for optimization combining optimization and constraint satisfaction |
| title_sub | combining optimization and constraint satisfaction |
| topic | Mathematische Logik (DE-588)4037951-6 gnd Optimierung (DE-588)4043664-0 gnd Lineare Optimierung (DE-588)4035816-1 gnd |
| topic_facet | Mathematische Logik Optimierung Lineare Optimierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009065854&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hookerjohn logicbasedmethodsforoptimizationcombiningoptimizationandconstraintsatisfaction |