Handbook of constraint programming:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam [u.a.]
Elsevier
2006
|
| Edition: | 1. ed. |
| Series: | Foundations of artificial intelligence
|
| Subjects: | |
| Online Access: | Publisher description Inhaltsverzeichnis |
| Item Description: | Hier auch später erschienene, unveränderte Nachdrucke |
| Physical Description: | XIX, 955 S. Ill., graph. Darst. |
| ISBN: | 9780444527264 0444527265 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV022661150 | ||
| 003 | DE-604 | ||
| 005 | 20250122 | ||
| 007 | t| | ||
| 008 | 070831s2006 xxuad|| |||| 00||| eng d | ||
| 010 | |a 2006048518 | ||
| 020 | |a 9780444527264 |9 978-0-444-52726-4 | ||
| 020 | |a 0444527265 |9 0-444-52726-5 | ||
| 035 | |a (OCoLC)70408044 | ||
| 035 | |a (DE-599)BVBBV022661150 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-91G |a DE-703 |a DE-188 |a DE-384 |a DE-634 | ||
| 050 | 0 | |a QA76.612 | |
| 082 | 0 | |a 005.1/16 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a QH 420 |0 (DE-625)141574: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Handbook of constraint programming |c ed. by Francesca Rossi ... |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 2006 | |
| 300 | |a XIX, 955 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Foundations of artificial intelligence | |
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 4 | |a Programmation par contraintes | |
| 650 | 4 | |a Constraint programming (Computer science) | |
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Rossi, Francesca |e Sonstige |4 oth | |
| 856 | 4 | |u http://www.loc.gov/catdir/enhancements/fy0664/2006048518-d.html |3 Publisher description | |
| 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=015867009&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015867009 | |
Record in the Search Index
| _version_ | 1821939035145240576 |
|---|---|
| adam_text |
Titel: Handbook of constraint programming
Autor: Rossi, Francesca
Jahr: 2006
Contents
Foreword v
Editors vii
Contributors ix
Contents xüi
I Foundations 1
1 Introduction 3
Francesca Rossi, Peter van Beek, Toby Walsh
1.1 Purpose of the Handbook. 4
1.2 Structure and Content. 4
1.3 Future Research. 10
2 Constraint Satisfaction: An Emerging Paradigm 13
Eugene C. Freuder and Alan K. Mackworth
2.1 The Early Days . 13
2.2 The Constraint Satisfaction Problem: Representation and Reasoning . . 16
2.3 Conclusions. 23
3 Constraint Propagation 29
Christian Bessiere
3.1 Background. 30
3.2 Formal Viewpoint. 33
3.3 Are Consistency. 37
3.4 Higher Order Consistencies. 50
3.5 Domain-Based Consistencies Stronger than AC. 57
3.6 Domain-Based Consistencies Weaker than AC. 62
3.7 Constraint Propagation as Iteration of Reduction Rules. 68
3.8 Specific Constraints. 70
4 Backtracking Search Algorithms 85
Peter van Beek
4.1 Preliminaries. 86
4.2 Branching Strategies. 87
xüi
Contents
4.3 Constraint Propagation . 90
4.4 Nogood Recording. 96
4.5 Non-Chronological Backtracking. 102
4.6 Heuristics for Backtracking Algorithms. 105
4.7 Randomization and Restart Strategies. 111
4.8 Best-First Search. 116
4.9 Optimization. 117
4.10 Comparing Backtracking Algorithms. 118
Local Search Methods 135
Holger H. Hoos and Edward Tsang
5.1 Introduction. 136
5.2 Randomised Iterative Improvement Algorithms . 142
5.3 Tabu Search and Related Algorithms. 144
5.4 Penalty-Based Local Search Algorithms. 148
5.5 Other Approaches. 154
5.6 Local Search for Constraint Optimisation Problems. 155
5.7 Frameworks and Toolkits for Local Search. 157
5.8 Conclusions and Outlook. 158
Global Constraints 169
Willem-Jan van Hoeve and Irit Katriel
6.1 Notation and Preliminaries . 170
6.2 Examples of Global Constraints. 176
6.3 Complete Filtering Algorithms. 182
6.4 Optimization Constraints. 189
6.5 Partial Filtering Algorithms. 193
6.6 Global Variables. 200
6.7 Conclusion. 203
Tractable Structures for Constraint Satisfaction Problems 209
Rina Dechter
7.1 Background. 210
7.2 Structure-Based Tractability in Inference. 213
7.3 Trading Time and Space by Hybrids of Search and Inference. 231
7.4 Structure-Based Tractability in Search. 239
7.5 Summary and Bibliographical Notes. 241
The Complexity of Constraint Languages 245
David Cohen and Peter Jeavons
8.1 Basic Definitions. 246
8.2 Examples of Constraint Languages. 247
8.3 Developing an Algebraic Theory. 251
8.4 Applications of the Algebraic Theory. 258
8.5 Constraint Languages Over an Infinite Set. 263
8.6 Multi-Sorted Constraint Languages. 264
8.7 Alternative Approaches. 269
Contents xv
8.8 Future Directions . 274
9 Soft Constraints 281
Pedro Meseguer, Francesca Rossi, Thomas Schiex
9.1 Background: Classical Constraints. 282
9.2 Specific Frameworks. 283
9.3 Generic Frameworks. 287
9.4 Relations among Soft Constraint Frameworks . 291
9.5 Search. 297
9.6 Inference. 300
9.7 Combining Search and Inference. 313
9.8 Using Soft Constraints. 316
9.9 Promising Directions for Further Research. 321
10 Symmetry in Constraint Programming 329
Ian P. Gent, Karen E. Petrie, Jean-Francois Puget
10.1 Symmetries and Group Theory. 331
10.2 Definitions. 337
10.3 Reformulation. 340
10.4 Adding Constraints Before Search . 343
10.5 Dynamic Symmetry Breaking Methods. 350
10.6 Combinations of Symmetry Breaking Methods. 362
10.7 Successful Applications. 363
10.8 Symmetry Expression and Detection. 364
10.9 Further Research Themes. 366
10.10 Conclusions. 368
11 ModeUing 377
Barbara M. Smith
11.1 Preliminaries. 378
11.2 Representing a Problem. 379
11.3 Propagation and Search. 379
11.4 Viewpoints. 381
11.5 Expressing the Constraints . 382
11.6 Auxiliary Variables. 386
11.7 Implied Constraints. 387
11.8 ReformulationsofCSPs. 391
11.9 Combining Viewpoints . 394
11.10 Symmetry and Modelling. 398
11.11 Optimization Problems. 400
11.12 Supporting Modelling and Reformulation. 401
11 Extensions, Languages, and Applications 407
12 Constraint Logic Programming 409
Kim Marriott, Peter J. Stuckey, Mark Wallace
xvi Contents
12.1 HistoryofCLP. 411
12.2 Semanticsof Constraint Logic Programs. 413
12.3 CLP for Conceptual Modeling. 425
12.4 CLP for Design Modeling. 430
12.5 Search in CLP. 437
12.6 ImpactofCLP. 442
12.7 Future of CLP and Interesting Research Questions. 444
13 Constraints in Procedural and Concurrent Languages 453
Thom Frühwirth, Laurent Michel, and Christian Schulte
13.1 Procedural and Object-Oriented Languages. 454
13.2 Concurrent Constraint Programming. 465
13.3 Rule-Based Languages . 473
13.4 Challenges and Opportunities. 485
13.5 Conclusion. 486
14 Finite Domain Constraint Programming Systems 495
Christian Schulte and Mats Carlsson
14.1 Architecture for Constraint Programming Systems. 496
14.2 Implementing Constraint Propagation. 506
14.3 Implementing Search. 513
14.4 Systems Overview. 517
14.5 Outlook . 519
15 Operations Research Methods in Constraint Programming 527
John N. Hooker
15.1 Schemes for Incorporating OR into CP. 527
15.2 Plan of the Chapter . 528
15.3 Linear Programming. 530
15.4 Mixed Integer/Linear Modeling. 534
15.5 Cutting Planes. 536
15.6 Relaxation of Global Constraints. 539
15.7 Relaxation of Piecewise Linear and Disjunctive Constraints. 545
15.8 Lagrangean Relaxation. 547
15.9 Dynamic Programming. 550
15.10 Branch-and-Price Methods. 554
15.11 Benders Decomposition. 556
15.12 Toward Integration ofCP and OR. 560
16 Continuous and Interval Constraints 571
Frederic Benhamou and Laurent Granvilliers
16.1 From Discrete to Continuous Constraints. 574
16.2 The Branch-and-Reduce Framework. 575
16.3 Consistency Techniques. 577
16.4 Numerical Operators. 583
16.5 Hybrid Techniques. 587
16.6 First Order Constraints . 590
Contents xvii
16.7 Applications and Software packages. 593
16.8 Conclusion. 595
17 Constraints over Structured Domains 605
Carmen Gervet
17.1 History and Applications. 606
17.2 Constraints over Regulär and Constructed Sets. 609
17.3 Constraints over Finite Set Intervals. 613
17.4 Influential Extensions to Subset Bound Solvers. 619
17.5 Constraints over Maps, Relations and Graphs. 628
17.6 Constraints over Lattices and Hierarchical Trees. 631
17.7 Implementation Aspects. 631
17.8 Applications. 633
17.9 Further Topics. 633
18 Randomness and Structure 639
Carla Gomes and Toby Walsh
18.1 Random Constraint Satisfaction. 640
18.2 Random Satisfiability. 644
18.3 Random Problems with Structure. 648
18.4 Runtime Variability. 651
18.5 History. 657
18.6 Conclusions. 658
19 Temporal CSPs 665
Manolis Koubarakis
19.1 Preliminaries. 666
19.2 Constraint-Based Formalisms for Reasoning About Time. 669
19.3 Efficient Algorithms for Temporal CSPs. 677
19.4 More Expressive Queries for Temporal CSPs. 681
19.5 First-Order Temporal Constraint Languages. 683
19.6 The Scheme of Indefinite Constraint Databases. 685
19.7 Conclusions. 691
20 Distributed Constraint Programming 699
Boi Faltings
20.1 Definitions. 701
20.2 Distributed Search. 702
20.3 Improvements and Variants. 713
20.4 Distributed Local Search . 718
20.5 Open Constraint Programming. 721
20.6 Further Issues. 724
20.7 Conclusion. 726
xvm Contents
21 Uncertainty and Change 731
Kenneth N. Brown and Ian Miguel
21.1 Background and Definitions. 732
21.2 Example: Course Scheduling. 732
21.3 Uncertain Problems. 733
21.4 Problems that Change. 738
21.5 Pseudo-dynamic Formalisms. 752
21.6 Challenges and Future Trends. 753
21.7 Summary. 755
22 Constraint-Based Scheduling and Planning 761
Philippe Baptiste, Philippe Laborie, Claude Le Pape, Wim Nuijten
22.1 Constraint Programming Models for Scheduling. 763
22.2 Constraint Programming Models for Planning. 771
22.3 Constraint Propagation for Resource Constraints. 778
22.4 Constraint Propagation on Optimization Criteria. 785
22.5 Heuristic Search. 789
22.6 Conclusions. 794
23 Vehicle Routing 801
Philip Kilby and Paul Shaw
23.1 The Vehicle Routing Problem. 802
23.2 Operations Research Approaches. 804
23.3 Constraint Programming Approaches. 809
23.4 Constraint Programming in Search. 819
23.5 Using Constraint Programming as a Subproblem Solver. 823
23.6 CP-VRP in the Real World. 825
23.7 Conclusions. 828
24 Configuration 837
Ulrich Junker
24.1 What Is Configuration?. 838
24.2 Configuration Knowledge. 844
24.3 Constraint Models for Configuration. 853
24.4 Problem Solving for Configuration. 863
24.5 Conclusion. 868
25 Constraint Applications in Networks 875
Helmut Simonis
25.1 Electricity Networks. 876
25.2 Water (CHI) Networks. 878
25.3 Data Networks. 879
25.4 Conclusion. 898
Contents x,x
26 Bioinformatics and Constraints 905
Rolf Backofen and David Gilbert
26.1 What Biologists Want from Bioinformatics. 906
26.2 The Central Dogma. 907
26.3 A Classification of Problem Areas . 908
26.4 Sequence Related Problems. 908
26.5 Structure Related Problems. 922
26.6 Function Related Problems. 935
26.7 Microarrays. 937
Index 945 |
| adam_txt |
Titel: Handbook of constraint programming
Autor: Rossi, Francesca
Jahr: 2006
Contents
Foreword v
Editors vii
Contributors ix
Contents xüi
I Foundations 1
1 Introduction 3
Francesca Rossi, Peter van Beek, Toby Walsh
1.1 Purpose of the Handbook. 4
1.2 Structure and Content. 4
1.3 Future Research. 10
2 Constraint Satisfaction: An Emerging Paradigm 13
Eugene C. Freuder and Alan K. Mackworth
2.1 The Early Days . 13
2.2 The Constraint Satisfaction Problem: Representation and Reasoning . . 16
2.3 Conclusions. 23
3 Constraint Propagation 29
Christian Bessiere
3.1 Background. 30
3.2 Formal Viewpoint. 33
3.3 Are Consistency. 37
3.4 Higher Order Consistencies. 50
3.5 Domain-Based Consistencies Stronger than AC. 57
3.6 Domain-Based Consistencies Weaker than AC. 62
3.7 Constraint Propagation as Iteration of Reduction Rules. 68
3.8 Specific Constraints. 70
4 Backtracking Search Algorithms 85
Peter van Beek
4.1 Preliminaries. 86
4.2 Branching Strategies. 87
xüi
Contents
4.3 Constraint Propagation . 90
4.4 Nogood Recording. 96
4.5 Non-Chronological Backtracking. 102
4.6 Heuristics for Backtracking Algorithms. 105
4.7 Randomization and Restart Strategies. 111
4.8 Best-First Search. 116
4.9 Optimization. 117
4.10 Comparing Backtracking Algorithms. 118
Local Search Methods 135
Holger H. Hoos and Edward Tsang
5.1 Introduction. 136
5.2 Randomised Iterative Improvement Algorithms . 142
5.3 Tabu Search and Related Algorithms. 144
5.4 Penalty-Based Local Search Algorithms. 148
5.5 Other Approaches. 154
5.6 Local Search for Constraint Optimisation Problems. 155
5.7 Frameworks and Toolkits for Local Search. 157
5.8 Conclusions and Outlook. 158
Global Constraints 169
Willem-Jan van Hoeve and Irit Katriel
6.1 Notation and Preliminaries . 170
6.2 Examples of Global Constraints. 176
6.3 Complete Filtering Algorithms. 182
6.4 Optimization Constraints. 189
6.5 Partial Filtering Algorithms. 193
6.6 Global Variables. 200
6.7 Conclusion. 203
Tractable Structures for Constraint Satisfaction Problems 209
Rina Dechter
7.1 Background. 210
7.2 Structure-Based Tractability in Inference. 213
7.3 Trading Time and Space by Hybrids of Search and Inference. 231
7.4 Structure-Based Tractability in Search. 239
7.5 Summary and Bibliographical Notes. 241
The Complexity of Constraint Languages 245
David Cohen and Peter Jeavons
8.1 Basic Definitions. 246
8.2 Examples of Constraint Languages. 247
8.3 Developing an Algebraic Theory. 251
8.4 Applications of the Algebraic Theory. 258
8.5 Constraint Languages Over an Infinite Set. 263
8.6 Multi-Sorted Constraint Languages. 264
8.7 Alternative Approaches. 269
Contents xv
8.8 Future Directions . 274
9 Soft Constraints 281
Pedro Meseguer, Francesca Rossi, Thomas Schiex
9.1 Background: Classical Constraints. 282
9.2 Specific Frameworks. 283
9.3 Generic Frameworks. 287
9.4 Relations among Soft Constraint Frameworks . 291
9.5 Search. 297
9.6 Inference. 300
9.7 Combining Search and Inference. 313
9.8 Using Soft Constraints. 316
9.9 Promising Directions for Further Research. 321
10 Symmetry in Constraint Programming 329
Ian P. Gent, Karen E. Petrie, Jean-Francois Puget
10.1 Symmetries and Group Theory. 331
10.2 Definitions. 337
10.3 Reformulation. 340
10.4 Adding Constraints Before Search . 343
10.5 Dynamic Symmetry Breaking Methods. 350
10.6 Combinations of Symmetry Breaking Methods. 362
10.7 Successful Applications. 363
10.8 Symmetry Expression and Detection. 364
10.9 Further Research Themes. 366
10.10 Conclusions. 368
11 ModeUing 377
Barbara M. Smith
11.1 Preliminaries. 378
11.2 Representing a Problem. 379
11.3 Propagation and Search. 379
11.4 Viewpoints. 381
11.5 Expressing the Constraints . 382
11.6 Auxiliary Variables. 386
11.7 Implied Constraints. 387
11.8 ReformulationsofCSPs. 391
11.9 Combining Viewpoints . 394
11.10 Symmetry and Modelling. 398
11.11 Optimization Problems. 400
11.12 Supporting Modelling and Reformulation. 401
11 Extensions, Languages, and Applications 407
12 Constraint Logic Programming 409
Kim Marriott, Peter J. Stuckey, Mark Wallace
xvi Contents
12.1 HistoryofCLP. 411
12.2 Semanticsof Constraint Logic Programs. 413
12.3 CLP for Conceptual Modeling. 425
12.4 CLP for Design Modeling. 430
12.5 Search in CLP. 437
12.6 ImpactofCLP. 442
12.7 Future of CLP and Interesting Research Questions. 444
13 Constraints in Procedural and Concurrent Languages 453
Thom Frühwirth, Laurent Michel, and Christian Schulte
13.1 Procedural and Object-Oriented Languages. 454
13.2 Concurrent Constraint Programming. 465
13.3 Rule-Based Languages . 473
13.4 Challenges and Opportunities. 485
13.5 Conclusion. 486
14 Finite Domain Constraint Programming Systems 495
Christian Schulte and Mats Carlsson
14.1 Architecture for Constraint Programming Systems. 496
14.2 Implementing Constraint Propagation. 506
14.3 Implementing Search. 513
14.4 Systems Overview. 517
14.5 Outlook . 519
15 Operations Research Methods in Constraint Programming 527
John N. Hooker
15.1 Schemes for Incorporating OR into CP. 527
15.2 Plan of the Chapter . 528
15.3 Linear Programming. 530
15.4 Mixed Integer/Linear Modeling. 534
15.5 Cutting Planes. 536
15.6 Relaxation of Global Constraints. 539
15.7 Relaxation of Piecewise Linear and Disjunctive Constraints. 545
15.8 Lagrangean Relaxation. 547
15.9 Dynamic Programming. 550
15.10 Branch-and-Price Methods. 554
15.11 Benders Decomposition. 556
15.12 Toward Integration ofCP and OR. 560
16 Continuous and Interval Constraints 571
Frederic Benhamou and Laurent Granvilliers
16.1 From Discrete to Continuous Constraints. 574
16.2 The Branch-and-Reduce Framework. 575
16.3 Consistency Techniques. 577
16.4 Numerical Operators. 583
16.5 Hybrid Techniques. 587
16.6 First Order Constraints . 590
Contents xvii
16.7 Applications and Software packages. 593
16.8 Conclusion. 595
17 Constraints over Structured Domains 605
Carmen Gervet
17.1 History and Applications. 606
17.2 Constraints over Regulär and Constructed Sets. 609
17.3 Constraints over Finite Set Intervals. 613
17.4 Influential Extensions to Subset Bound Solvers. 619
17.5 Constraints over Maps, Relations and Graphs. 628
17.6 Constraints over Lattices and Hierarchical Trees. 631
17.7 Implementation Aspects. 631
17.8 Applications. 633
17.9 Further Topics. 633
18 Randomness and Structure 639
Carla Gomes and Toby Walsh
18.1 Random Constraint Satisfaction. 640
18.2 Random Satisfiability. 644
18.3 Random Problems with Structure. 648
18.4 Runtime Variability. 651
18.5 History. 657
18.6 Conclusions. 658
19 Temporal CSPs 665
Manolis Koubarakis
19.1 Preliminaries. 666
19.2 Constraint-Based Formalisms for Reasoning About Time. 669
19.3 Efficient Algorithms for Temporal CSPs. 677
19.4 More Expressive Queries for Temporal CSPs. 681
19.5 First-Order Temporal Constraint Languages. 683
19.6 The Scheme of Indefinite Constraint Databases. 685
19.7 Conclusions. 691
20 Distributed Constraint Programming 699
Boi Faltings
20.1 Definitions. 701
20.2 Distributed Search. 702
20.3 Improvements and Variants. 713
20.4 Distributed Local Search . 718
20.5 Open Constraint Programming. 721
20.6 Further Issues. 724
20.7 Conclusion. 726
xvm Contents
21 Uncertainty and Change 731
Kenneth N. Brown and Ian Miguel
21.1 Background and Definitions. 732
21.2 Example: Course Scheduling. 732
21.3 Uncertain Problems. 733
21.4 Problems that Change. 738
21.5 Pseudo-dynamic Formalisms. 752
21.6 Challenges and Future Trends. 753
21.7 Summary. 755
22 Constraint-Based Scheduling and Planning 761
Philippe Baptiste, Philippe Laborie, Claude Le Pape, Wim Nuijten
22.1 Constraint Programming Models for Scheduling. 763
22.2 Constraint Programming Models for Planning. 771
22.3 Constraint Propagation for Resource Constraints. 778
22.4 Constraint Propagation on Optimization Criteria. 785
22.5 Heuristic Search. 789
22.6 Conclusions. 794
23 Vehicle Routing 801
Philip Kilby and Paul Shaw
23.1 The Vehicle Routing Problem. 802
23.2 Operations Research Approaches. 804
23.3 Constraint Programming Approaches. 809
23.4 Constraint Programming in Search. 819
23.5 Using Constraint Programming as a Subproblem Solver. 823
23.6 CP-VRP in the Real World. 825
23.7 Conclusions. 828
24 Configuration 837
Ulrich Junker
24.1 What Is Configuration?. 838
24.2 Configuration Knowledge. 844
24.3 Constraint Models for Configuration. 853
24.4 Problem Solving for Configuration. 863
24.5 Conclusion. 868
25 Constraint Applications in Networks 875
Helmut Simonis
25.1 Electricity Networks. 876
25.2 Water (CHI) Networks. 878
25.3 Data Networks. 879
25.4 Conclusion. 898
Contents x,x
26 Bioinformatics and Constraints 905
Rolf Backofen and David Gilbert
26.1 What Biologists Want from Bioinformatics. 906
26.2 The Central Dogma. 907
26.3 A Classification of Problem Areas . 908
26.4 Sequence Related Problems. 908
26.5 Structure Related Problems. 922
26.6 Function Related Problems. 935
26.7 Microarrays. 937
Index 945 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV022661150 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.612 |
| callnumber-search | QA76.612 |
| callnumber-sort | QA 276.612 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 QH 420 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)70408044 (DE-599)BVBBV022661150 |
| dewey-full | 005.1/16 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/16 |
| dewey-search | 005.1/16 |
| dewey-sort | 15.1 216 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Wirtschaftswissenschaften |
| discipline_str_mv | Informatik |
| edition | 1. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV022661150</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250122</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">070831s2006 xxuad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2006048518</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444527264</subfield><subfield code="9">978-0-444-52726-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444527265</subfield><subfield code="9">0-444-52726-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)70408044</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022661150</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.612</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/16</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 420</subfield><subfield code="0">(DE-625)141574:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of constraint programming</subfield><subfield code="c">ed. by Francesca Rossi ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 955 S.</subfield><subfield code="b">Ill., 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">Foundations of artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation par contraintes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint programming (Computer science)</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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rossi, Francesca</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy0664/2006048518-d.html</subfield><subfield code="3">Publisher description</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=015867009&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015867009</subfield></datafield></record></collection> |
| id | DE-604.BV022661150 |
| illustrated | Illustrated |
| index_date | 2024-07-02T18:25:14Z |
| indexdate | 2025-01-22T09:01:03Z |
| institution | BVB |
| isbn | 9780444527264 0444527265 |
| language | English |
| lccn | 2006048518 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015867009 |
| oclc_num | 70408044 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-703 DE-188 DE-384 DE-634 |
| owner_facet | DE-91G DE-BY-TUM DE-703 DE-188 DE-384 DE-634 |
| physical | XIX, 955 S. Ill., graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Foundations of artificial intelligence |
| spelling | Handbook of constraint programming ed. by Francesca Rossi ... 1. ed. Amsterdam [u.a.] Elsevier 2006 XIX, 955 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Foundations of artificial intelligence Hier auch später erschienene, unveränderte Nachdrucke Programmation par contraintes Constraint programming (Computer science) Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf Constraint-Programmierung (DE-588)4567206-4 s DE-604 Rossi, Francesca Sonstige oth http://www.loc.gov/catdir/enhancements/fy0664/2006048518-d.html Publisher description HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015867009&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Handbook of constraint programming Programmation par contraintes Constraint programming (Computer science) Constraint-Programmierung (DE-588)4567206-4 gnd |
| subject_GND | (DE-588)4567206-4 |
| title | Handbook of constraint programming |
| title_auth | Handbook of constraint programming |
| title_exact_search | Handbook of constraint programming |
| title_exact_search_txtP | Handbook of constraint programming |
| title_full | Handbook of constraint programming ed. by Francesca Rossi ... |
| title_fullStr | Handbook of constraint programming ed. by Francesca Rossi ... |
| title_full_unstemmed | Handbook of constraint programming ed. by Francesca Rossi ... |
| title_short | Handbook of constraint programming |
| title_sort | handbook of constraint programming |
| topic | Programmation par contraintes Constraint programming (Computer science) Constraint-Programmierung (DE-588)4567206-4 gnd |
| topic_facet | Programmation par contraintes Constraint programming (Computer science) Constraint-Programmierung |
| url | http://www.loc.gov/catdir/enhancements/fy0664/2006048518-d.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015867009&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT rossifrancesca handbookofconstraintprogramming |