Principles and Practice of Constraint Programming - CP 2009 (Record no. 183848)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06653nam a22006135i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-642-04244-7 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423130005.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 100301s2009 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783642042447 |
| -- | 978-3-642-04244-7 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-642-04244-7 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.6-76.66 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UM |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM051000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UM |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.11 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Principles and Practice of Constraint Programming - CP 2009 |
| Medium | [electronic resource] : |
| Remainder of title | 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings / |
| Statement of responsibility, etc | edited by Ian P. Gent. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2009. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2009. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XXI, 844 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Programming and Software Engineering, |
| International Standard Serial Number | 2945-9168 ; |
| Volume number/sequential designation | 5732 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Invited Talks -- Constraint-Based Schedulers, Do They Really Work? -- Challenges for Constraint Reasoning and Optimization in Computational Sustainability -- Observations on Symmetry Breaking -- Application Track Papers -- Generating Optimal Stowage Plans for Container Vessel Bays -- Real-Time Tabu Search for Video Tracking Association -- Pin Assignment Using Stochastic Local Search Constraint Programming -- Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics -- Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion -- Solving Nurse Rostering Problems Using Soft Global Constraints -- Online Selection of Quorum Systems for RAMBO Reconfiguration -- A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem -- Research Track Papers -- Memoisation for Constraint-Based Local Search -- On the Structure of Industrial SAT Instances -- A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms -- Filtering Numerical CSPs Using Well-Constrained Subsystems -- Minimising Decision Tree Size as Combinatorial Optimisation -- Hull Consistency under Monotonicity -- A Constraint on the Number of Distinct Vectors with Application to Localization -- Approximating Weighted Max-SAT Problems by Compensating for Relaxations -- Confidence-Based Work Stealing in Parallel Constraint Programming -- Minimizing the Maximum Number of Open Stacks by Customer Search -- Using Relaxations in Maximum Density Still Life -- Constraint-Based Graph Matching -- Constraint Representations and Structural Tractability -- Asynchronous Inter-Level Forward-Checking for DisCSPs -- From Model-Checking to Temporal Logic Constraint Solving -- Exploiting Problem Structure for Solution Counting -- Solving a Location-Allocation Problem with Logic-Based Benders’ Decomposition -- Lazy Clause Generation Reengineered -- The Proper Treatment of Undefinedness in Constraint Languages -- Search Spaces for Min-Perturbation Repair -- Snake Lex: An Alternative to Double Lex -- Closing the Open Shop: Contradicting Conventional Wisdom -- Reasoning about Optimal Collections of Solutions -- Constraints of Difference and Equality: A Complete Taxonomic Characterisation -- Synthesizing Filtering Algorithms for Global Chance-Constraints -- An Interpolation Method for CLP Traversal -- Same-Relation Constraints -- Dialectic Search -- Restricted Global Grammar Constraints -- Conflict Resolution -- Propagator Groups -- Efficient Generic Search Heuristics within the EMBP Framework -- Failed Value Consistencies for Constraint Satisfaction -- A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations -- SOGgy Constraints: Soft Open Global Constraints -- Exploiting Problem Decomposition in Multi-objective Constraint Optimization -- Search Space Extraction -- Coalition Structure Generation Utilizing Compact Characteristic Function Representations -- Compiling All Possible Conflicts of a CSP -- On the Power of Clause-Learning SAT Solvers with Restarts -- Slice Encoding for Constraint-Based Planning -- Evolving Parameterised Policies for Stochastic Constraint Programming -- Maintaining State in Propagation Solvers -- Cost-Driven Interactive CSP with Constraint Relaxation -- Weakly Monotonic Propagators -- Constraint-Based Optimal Testing Using DNNF Graphs -- Why Cumulative Decomposition Is Not as Bad as It Sounds -- On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency -- Realtime Online Solving of Quantified CSPs -- Constraint-Based Local Search for the Automatic Generation of Architectural Tests -- Edge FindingFiltering Algorithm for Discrete Cumulative Resources in -- Evaluation of Length-Lex Set Variables -- The Complexity of Valued Constraint Models. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book constitutes the refereed proceedings of the 15th International Conference on Principles and Practice of Constraint Programming, CP 2009, held in Lisbon, Portugal in September 2009. The 61 revised full papers presented together with the abstracts of three invited talks were carefully reviewed and selected from 141 submissions. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects - using algorithms, environments, languages, models and systems - to solving real-world problems in various application fields. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer programming. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Compilers (Computer programs). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematics |
| General subdivision | Data processing. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Machine theory. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Programming Techniques. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Compilers and Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computational Science and Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal Languages and Automata Theory. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Gent, Ian P. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783642042430 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783642042454 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Programming and Software Engineering, |
| -- | 2945-9168 ; |
| Volume number/sequential designation | 5732 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-642-04244-7">https://doi.org/10.1007/978-3-642-04244-7</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.