Principles and Practice of Constraint Programming - CP 2010 (Record no. 183745)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 07131nam a22006135i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-642-15396-9 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423125959.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 | 100906s2010 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783642153969 |
| -- | 978-3-642-15396-9 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-642-15396-9 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.758 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM051230 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Principles and Practice of Constraint Programming - CP 2010 |
| Medium | [electronic resource] : |
| Remainder of title | 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings / |
| Statement of responsibility, etc | edited by David Cohen. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2010. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2010. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XX, 650 p. 145 illus. |
| 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 | 6308 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Invited Talks -- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic, and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming to Identification and Assignment of Service Professionals -- Computing the Density of States of Boolean Formulas -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity -- Improving the Performance of maxRPC -- Checking-Up on Branch-and-Check -- Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows -- Decomposition of the NValue Constraint -- Propagating the Bin Packing Constraint Using Linear Programming -- Sweeping with Continuous Domains -- A New Hybrid Tractable Class of Soft Constraint Problems -- A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies -- Using Learnt Clauses in maxsat -- Domain Consistency with Forbidden Values -- Generating Special-Purpose Stateless Propagators for Arbitrary Constraints -- Including Ordinary Differential Equations Based Constraints in the Standard CP Framework -- Structural Tractability of Enumerating CSP Solutions -- Diversification and Intensification in Parallel SAT Solving -- A Systematic Approach to MDD-Based Constraint Programming -- A Complete Multi-valued SAT Solver -- Exact Cover via Satisfiability: An Empirical Study -- On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry -- Ensemble Classification for Constraint Solver Configuration -- On Testing Constraint Programs -- On the Containment of Forbidden Patterns Problems -- Improving the Floating Point Addition and Subtraction Constraints -- The Lattice Structure of Sets of Surjective Hyper-Operations -- Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution -- Local Consistency and SAT-Solvers -- Heuristics for Planning with SAT -- Value-Ordering Heuristics: Search Performance vs. Solution Diversity -- A New Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints -- A Generic Visualization Platform for CP -- Database Constraints and Homomorphism Dualities -- A Box-Consistency Contractor Based on Extremal Functions -- Exponential Propagation for Set Variables -- Applications Track -- An Empirical Study of Optimization for Maximizing Diffusion in Networks -- An Integrated Modelling, Debugging, and Visualisation Environment for G12 -- Global Constraints on Feature Models -- Constraint Programming for Mining n-ary Patterns -- An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management -- Context-Sensitive Call Control Using Constraints and Rules -- Load Balancing and Almost Symmetries for RAMBO Quorum Hosting -- Testing Continuous Double Auctions with a Constraint-Based Oracle -- A Safe and Flexible CP-Based Approach for Velocity Tuning Problems -- Contingency Plans for Air Traffic Management. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during September 6–10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned with all aspects of computing with constraints, including:theory,algorithms,applications,environments,languages,modelsand systems. We received a wide variety of submissions, each of which was reviewed by at least three referees. Referees were chosen for each submission by an initial bidding process where Program Committee members chose papers from their area of interest. The range of expertise represented by the large Program C- mittee meant that almost all submissions were reviewed by subject experts on the Program Committee, or by colleagues chosen by members of the Program Committee for their particular expertise. Papers weresolicitedeither as long (15 page), or short (8 page) submissions. Short-paper submissions were refereed to exactly the same high standards as long-paper submissions but naturally were expected to contain a smaller quantity of new material. Thus there is no disti- tion in these proceedings between short and long papers. I used the excellent EasyChair conference management system to support this process of reviewing, and for the collation and organization of these proceedings. Submissions were made either to the applications track or to the research track. Therewere101(23short)researchtracksubmissionsofwhich36(8short) wereaccepted,whichisa36%(35%ofshort)acceptancerate. Applicationstrack submissions received special consideration and the acceptance rate was sign- cantly higher than for the research track. |
| 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 | Computer programming. |
| 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 | Algorithms. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Machine theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 14 - 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 | Programming Techniques. |
| 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 | Algorithms. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal Languages and Automata Theory. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Cohen, David. |
| 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 | 9783642153952 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783642153976 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Programming and Software Engineering, |
| -- | 2945-9168 ; |
| Volume number/sequential designation | 6308 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-642-15396-9">https://doi.org/10.1007/978-3-642-15396-9</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.