Constraint integer programming:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
München
Verl. Dr. Hut
2008
|
| Edition: | 1. Aufl. |
| Series: | Mathematik
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIV, 412 S. graph. Darst. 240 mm x 170 mm, 853 gr. |
| ISBN: | 9783899638929 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035303988 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 090211s2008 gw d||| m||| 00||| eng d | ||
| 015 | |a 09,N06,0672 |2 dnb | ||
| 016 | 7 | |a 992163366 |2 DE-101 | |
| 020 | |a 9783899638929 |c PB. : EUR 96.00 |9 978-3-89963-892-9 | ||
| 024 | 3 | |a 9783899638929 | |
| 035 | |a (OCoLC)643281970 | ||
| 035 | |a (DE-599)DNB992163366 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BY | ||
| 049 | |a DE-19 |a DE-12 | ||
| 082 | 0 | |a 519.77 |2 22/ger | |
| 082 | 0 | |a 005.116 |2 22/ger | |
| 082 | 0 | |a 621.395 |2 22/ger | |
| 084 | |a 510 |2 sdnb | ||
| 100 | 1 | |a Achterberg, Tobias |e Verfasser |0 (DE-588)133205940 |4 aut | |
| 245 | 1 | 0 | |a Constraint integer programming |c Tobias Achterberg |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a München |b Verl. Dr. Hut |c 2008 | |
| 300 | |a XIV, 412 S. |b graph. Darst. |c 240 mm x 170 mm, 853 gr. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Mathematik | |
| 502 | |a Zugl.: Berlin, Techn. Univ., Diss., 2007 | ||
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entwurfsautomation |0 (DE-588)4312536-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Gemischt-ganzzahlige Optimierung |0 (DE-588)4156566-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | 1 | |a Gemischt-ganzzahlige Optimierung |0 (DE-588)4156566-6 |D s |
| 689 | 0 | 2 | |a Entwurfsautomation |0 (DE-588)4312536-0 |D s |
| 689 | 0 | 3 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017108806&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017108806 | ||
Record in the Search Index
| _version_ | 1804138605482868736 |
|---|---|
| adam_text | 6.4 BEST ESTIMATE SEARCH 76 CONTENTS INTRODUCTION CONCEPTS 7 BASIC
DEFINITIONS 9 1.1 CONSTRAINT PROGRAMS 9 1.2 SATISFIABILITY PROBLEMS 10
1.3 MIXED INTEGER PROGRAMS 11 1.4 CONSTRAINT INTEGER PROGRAMS 13
ALGORITHMS 15 2.1 BRANCH AND BOUND 15 2.2 CUTTING PLANES 18 2.3 DOMAIN
PROPAGATION 19 SCIP AS A CIP FRAMEWORK 23 3.1 BASIC CONCEPTS OF SCIP 23
3.2 ALGORITHMIC DESIGN 29 3.3 INFRASTRUCTURE 37 II MIXED INTEGER
PROGRAMMING 57 4 INTRODUCTION 59 5 BRANCHING 61 5.1 MOST INFEASIBLE
BRANCHING 62 5.2 LEAST INFEASIBLE BRANCHING 62 5.3 PSEUDOCOST BRANCHING
63 5.4 STRONG BRANCHING 63 5.5 HYBRID STRONG/PSEUDOCOST BRANCHING 64 5.6
PSEUDOCOST BRANCHING WITH STRONG BRANCHING INITIALIZATION 65 5.7
RELIABILITY BRANCHING 65 5.8 INFERENCE BRANCHING 66 5.9 HYBRID
RELIABILITY/INFERENCE BRANCHING 67 5.10 BRANCHING RULE CLASSIFICATION 68
5.11 COMPUTATIONAL RESULTS 69 6 NODE SELECTION 73 6.1 DEPTH FIRST SEARCH
73 6.2 BEST FIRST SEARCH 74 6.3 BEST FIRST SEARCH WITH PLUNGING 75
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/992163366 DIGITALISIERT
DURCH CONTENTS 6.5 BEST ESTIMATE SEARCH WITH PLUNGING 77 6.6 INTERLEAVED
BEST ESTIMATE/BEST FIRST SEARCH 77 6.7 HYBRID BEST ESTIMATE/BEST FIRST
SEARCH 78 6.8 COMPUTATIONAL RESULTS 78 7 DOMAIN PROPAGATION 83 7.1
LINEAR CONSTRAINTS 83 7.2 KNAPSACK CONSTRAINTS 89 7.3 SET PARTITIONING
AND SET PACKING CONSTRAINTS 91 7.4 SET COVERING CONSTRAINTS 93 7.5
VARIABLE BOUND CONSTRAINTS 95 7.6 OBJECTIVE PROPAGATION 96 7.7 ROOT
REDUCED COST STRENGTHENING 98 7.8 COMPUTATIONAL RESULTS , 99 8 CUT
SEPARATION 101 8.1 KNAPSACK COVER CUTS 101 8.2 MIXED INTEGER ROUNDING
CUTS 104 8.3 GOMORY MIXED INTEGER CUTS 105 8.4 STRONG CHVAETAL-GOMORY
CUTS 107 8.5 FLOW COVER CUTS 108 8.6 IMPLIED BOUND CUTS 109 8.7 CLIQUE
CUTS 109 8.8 REDUCED COST STRENGTHENING 110 8.9 CUT SELECTION 111 8.10
COMPUTATIONAL RESULTS 111 9 PRIMAL HEURISTICS 117 9.1 ROUNDING
HEURISTICS 118 9.2 DIVING HEURISTICS 120 9.3 OBJECTIVE DIVING HEURISTICS
123 9.4 IMPROVEMENT HEURISTICS 125 9.5 COMPUTATIONAL RESULTS 127 10
PRESOLVING 133 10.1 LINEAR CONSTRAINTS 133 10.2 KNAPSACK CONSTRAINTS 146
10.3 SET PARTITIONING, SET PACKING, AND SET COVERING CONSTRAINTS ....
151 10.4 VARIABLE BOUND CONSTRAINTS 153 10.5 INTEGER TO BINARY
CONVERSION 154 10. CONTENTS III CHIP DESIGN VERIFICATION 183 12
INTRODUCTION 185 13 FORMAL PROBLEM DEFINITION 189 13.1 CONSTRAINT
INTEGER PROGRAMMING MODEL 189 13.2 FUNCTION GRAPH 192 14 OPERATORS IN
DETAIL 195 14.1 BIT AND WORD PARTITIONING 196 14.2 UNARY MINUS 204 14.3
ADDITION 204 14.4 SUBTRACTION 210 14.5 MULTIPLICATION 211 14.6 BITWISE
NEGATION 228 14.7 BITWISE AND 228 14.8 BITWISE OR 231 14.9 BITWISE XOR
231 14.10 UNARY AND 234 14.11 UNARY OR 237 14.12 UNARY XOR 237 14.13
EQUALITY 241 14.14 LESS-THAN 246 14.15 IF-THEN-ELSE 251 14.16 ZERO
EXTENSION 256 14.17 SIGN EXTENSION 257 14.18 CONCATENATION 257 14.19
SHIFT LEFT 257 14.20 SHIFT RIGHT 264 14.21 SLICING 264 14.22 MULTIPLEX
READ 267 14.23 MULTIPLEX WRITE 272 15 PRESOLVING 279 15.1 TENN ALGEBRA
PREPROCESSING 279 15.2 IRRELEVANCE DETECTION 290 16 SEARCH 295 16.1
BRANCHING 295 16.2 NODE SELECTION 296 17 COMPUTATIONAL RESULTS 299 17.1
COMPARISON OF CIP AND SAT 299 17.2 PROBLEM SPECIFIC PRESOLVING 308 17.3
PROBING 311 17.4 CONFLICT ANALYSIS 316 A COMPUTATIONAL ENVIRONMENT 319
A. XIV CONTENTS B TABLES 325 C SCIP VERSUS CPLEX 377 D NOTATION 385 LIST
OF ALGORITHMS 391 BIBLIOGRAPHY 393 INDEX 405
|
| any_adam_object | 1 |
| author | Achterberg, Tobias |
| author_GND | (DE-588)133205940 |
| author_facet | Achterberg, Tobias |
| author_role | aut |
| author_sort | Achterberg, Tobias |
| author_variant | t a ta |
| building | Verbundindex |
| bvnumber | BV035303988 |
| ctrlnum | (OCoLC)643281970 (DE-599)DNB992163366 |
| dewey-full | 519.77 005.116 621.395 |
| dewey-hundreds | 500 - Natural sciences and mathematics 000 - Computer science, information, general works 600 - Technology (Applied sciences) |
| dewey-ones | 519 - Probabilities and applied mathematics 005 - Computer programming, programs, data, security 621 - Applied physics |
| dewey-raw | 519.77 005.116 621.395 |
| dewey-search | 519.77 005.116 621.395 |
| dewey-sort | 3519.77 |
| dewey-tens | 510 - Mathematics 000 - Computer science, information, general works 620 - Engineering and allied operations |
| discipline | Informatik Mathematik Elektrotechnik / Elektronik / Nachrichtentechnik |
| edition | 1. Aufl. |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02004nam a2200517 c 4500</leader><controlfield tag="001">BV035303988</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090211s2008 gw d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N06,0672</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">992163366</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783899638929</subfield><subfield code="c">PB. : EUR 96.00</subfield><subfield code="9">978-3-89963-892-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783899638929</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)643281970</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB992163366</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.77</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.116</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.395</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Achterberg, Tobias</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133205940</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constraint integer programming</subfield><subfield code="c">Tobias Achterberg</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Verl. Dr. Hut</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 412 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">240 mm x 170 mm, 853 gr.</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">Mathematik</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Berlin, Techn. Univ., Diss., 2007</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gemischt-ganzzahlige Optimierung</subfield><subfield code="0">(DE-588)4156566-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Gemischt-ganzzahlige Optimierung</subfield><subfield code="0">(DE-588)4156566-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Entwurfsautomation</subfield><subfield code="0">(DE-588)4312536-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=017108806&sequence=000001&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-017108806</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV035303988 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:30:51Z |
| institution | BVB |
| isbn | 9783899638929 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017108806 |
| oclc_num | 643281970 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-12 |
| owner_facet | DE-19 DE-BY-UBM DE-12 |
| physical | XIV, 412 S. graph. Darst. 240 mm x 170 mm, 853 gr. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Verl. Dr. Hut |
| record_format | marc |
| series2 | Mathematik |
| spelling | Achterberg, Tobias Verfasser (DE-588)133205940 aut Constraint integer programming Tobias Achterberg 1. Aufl. München Verl. Dr. Hut 2008 XIV, 412 S. graph. Darst. 240 mm x 170 mm, 853 gr. txt rdacontent n rdamedia nc rdacarrier Mathematik Zugl.: Berlin, Techn. Univ., Diss., 2007 Verifikation (DE-588)4135577-5 gnd rswk-swf Entwurfsautomation (DE-588)4312536-0 gnd rswk-swf Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf Gemischt-ganzzahlige Optimierung (DE-588)4156566-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Constraint-Programmierung (DE-588)4567206-4 s Gemischt-ganzzahlige Optimierung (DE-588)4156566-6 s Entwurfsautomation (DE-588)4312536-0 s Verifikation (DE-588)4135577-5 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017108806&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Achterberg, Tobias Constraint integer programming Verifikation (DE-588)4135577-5 gnd Entwurfsautomation (DE-588)4312536-0 gnd Constraint-Programmierung (DE-588)4567206-4 gnd Gemischt-ganzzahlige Optimierung (DE-588)4156566-6 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)4312536-0 (DE-588)4567206-4 (DE-588)4156566-6 (DE-588)4113937-9 |
| title | Constraint integer programming |
| title_auth | Constraint integer programming |
| title_exact_search | Constraint integer programming |
| title_full | Constraint integer programming Tobias Achterberg |
| title_fullStr | Constraint integer programming Tobias Achterberg |
| title_full_unstemmed | Constraint integer programming Tobias Achterberg |
| title_short | Constraint integer programming |
| title_sort | constraint integer programming |
| topic | Verifikation (DE-588)4135577-5 gnd Entwurfsautomation (DE-588)4312536-0 gnd Constraint-Programmierung (DE-588)4567206-4 gnd Gemischt-ganzzahlige Optimierung (DE-588)4156566-6 gnd |
| topic_facet | Verifikation Entwurfsautomation Constraint-Programmierung Gemischt-ganzzahlige Optimierung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017108806&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT achterbergtobias constraintintegerprogramming |